Research Assistant in Program analysis, Verification or Systems
We are seeking to appoint a Research Assistant in the Software Reliability Group, under the direction of Dr Cristian Cadar. We are looking for motivated applicants interested in pursuing a PhD degree in program analysis, verification and/or software systems. The Department of Computing at Imperial College London is a leading department of Computer Science among UK Universities. The department has achieved top results in each of the research...
Job listing information
- Reference ENG00827
- Date posted 24 April 2019
- Closing date 16 June 2019
We are seeking to appoint a Research Assistant in the Software Reliability Group, under the direction of Dr Cristian Cadar. We are looking for motivated applicants interested in pursuing a PhD degree in program analysis, verification and/or software systems.
The Department of Computing at Imperial College London is a leading department of Computer Science among UK Universities. The department has achieved top results in each of the research assessment exercises undertaken by the Higher Education Funding Council for England. There are over fifty academic staff members actively involved in research, creating a lively and stimulating atmosphere. The department is located in central London, next to Hyde Park and the museums of South Kensington.
Duties and responsibilities
The research will be part of the ERC Consolidator Grant Project PASS: Program analysis for Safe and Secure Software Evolution, and will focus on helping software systems evolve safely and securely. PASS aims to take a holistic approach to the challenges of safe and secure software evolution, by combining offline program analysis to verify or comprehensively test software changes, with runtime mechanisms for keeping the software updated and secure against potentially erroneous changes that make it into the deployed system.
To apply, you will need to have a good background in compilers and/or operating systems and experience in building and working with large software systems and tools. You are expected to familiarise themselves with the research of the Software Reliability Group (see our projects and publications at https://srg.doc.ic.ac.uk/)) particularly the KATCH and Shadow projects on the program analysis and verification side, and the Varan and Mvedsua projects on the systems side.
You must have a Master’s degree (or equivalent) in an area pertinent to the subject area. You will have excellent verbal and written communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines.
In addition to completing the online application, candidates should attach:
- A full CV including a publication list.
- A two-page research statement which should indicate what you see are interesting research issues relating to the above post and why your expertise is relevant.
Should you have any queries regarding the application process please contact Jamie Perrins by email to: firstname.lastname@example.org
For technical issues when applying online please email email@example.com
Committed to equality and valuing diversity, we are an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.
The College is a proud signatory to the San-Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions, we evaluate applicants on the quality of their work, not the journal impact factor where it is published. For more information, see https://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-evaluation/
The College believes that the use of animals in research is vital to improve human and animal health and welfare. Animals may only be used in research programme where their use is shown to be necessary for developing new treatments and making medical advances. Imperial is committed to ensuring that, in cases where this research is deemed essential, all animals in the College’s care are treated with full respect, and that all staff involved with this work show due consideration at every level. http://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-integrity/animal-research/
About Imperial College London
Imperial College London is the UK’s only university focussed entirely on science, engineering, medicine and business and we are consistently rated in the top 10 universities in the world.
You will find our main London campus in South Kensington, with our hospital campuses located nearby in West and North London. We also have Silwood Park in Berkshire and state-of-the-art facilities in development at our major new campus in White City.
We work in a multidisciplinary and diverse community for education, research, translation and commercialisation, harnessing science and innovation to tackle the big global challenges our complex world faces.
It’s our mission to achieve enduring excellence in all that we do for the benefit of society – and we are looking for the most talented people to help us get there.
Please note that job descriptions cannot be exhaustive and the post-holder may be required to undertake other duties, which are broadly in line with the above key responsibilities.
All Imperial employees are expected to follow the 7 principles of Imperial Expectations:
- Champion a positive approach to change and opportunity
- Communicate regularly and effectively within, and across, teams
- Consider the thoughts and expectations of others
- Deliver positive outcomes
- Encourage inclusive participation and eliminate discrimination
- Develop and grow skills and expertise
- Work in a planned and managed way
In addition to the above, employees are required to observe and comply with all College policies and regulations.
Imperial College is committed to equality of opportunity, to eliminating discrimination and to creating an inclusive working environment. We are an Athena SWAN Silver award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.
Athena SWAN Silver Award 2016
We renewed our Silver in the April 2016 submission round. Recognising advancement of gender equality.
Disability Confident leader
Imperial is a Disability Confident leader
Imperial is working in partnership with GIRES to promote respect and provide equal treatment for trans people