Research Associate in Program Analysis, Verification or Systems

Imperial College London Department of Computing

Job summary

Applications are invited for a Research Associate position in the Software Reliability Group, under the direction of Prof. Cristian Cadar. We are looking for motivated applicants with expertise in program analysis, verification and/or software systems. The Department of Computingat Imperial College Londonis a leading department of Computer Science among UKUniversities. The department has achieved top results in each of the research...

Job listing information

  • Reference ENG01261
  • Date posted 18 March 2020
  • Closing date 3 May 2020

Key information about the role

  • Location South Kensington Campus (map)
  • Position type Full time, fixed term
  • Salary £40,215 – £45,615 plus benefits
  • Department Department of Computing
  • Category Researcher / Non Clinical Researcher

Job description

Job summary

Applications are invited for a Research Associate position in the Software Reliability Group, under the direction of Prof. Cristian Cadar. We are looking for motivated applicants with expertise in program analysis, verification and/or software systems.

The Department of Computingat Imperial College Londonis a leading department of Computer Science among UKUniversities. 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.

Essential requirements

To apply, you will need to have a strong computer science background, experience in building and working with large software systems and tools, and proven knowledge in either program analysis, verification, or systems. You are also expected to have a proven research record and publications in one of these areas. You should familiarise yourself with the research of the Software Reliability Group (see our projectsand publications) particularly the KATCH, Shadowand Chopperprojects on the program analysis and verification side, and the Varanand Mvedsuaprojects on the systems side.

You must have a PhD (or equivalent) in an area pertinent to the subject area. You must have excellent communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines

*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £35,477 - £38,566 per annum.

Further information

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.
  • Transcripts of all degree results

Informal inquiries are encouraged and can be addressed to Prof. Cristian Cadar.

For queries regarding the application process contact Jamie Perrins: j.perrins@imperial.ac.uk

For technical issues when applying online please emailrecruitment@imperial.ac.uk

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 programmes 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/ %MCEPASTEBIN%