Postdoctoral positions in Program Analysis or Systems

Fixed term appointment for 12 months, with the possiblity of a 12 months extension

Applications are invited for a postdoctoral position in the Software Reliability Group, under the direction of Prof. Cristian Cadar.

We are looking for motivated applicants with expertise in program analysis and/or software systems.

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 proven knowledge in either program analysis or systems and a proven research record and publications in one of these areas.

We welcome two types of applications. On the program analysis side, we expect a strong background in program analysis and at least one publication in top venues in software engineering (particularly ICSE, ESEC/FSE, ASE, ISSTA), programming languages (particularly ASPLOS, PLDI, OOPSLA), or security (particularly CCS, USENIX Security, IEEE S&P, NDSS). You should familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the KATCH, Chopper and Loop Summaries projects.

On the systems side, we expect a strong background in computer systems and at least one publication in top venues in computer systems (particularly SOSP/OSDI, EuroSys and USENIX ATC) or systems security (particularly CCS, USENIX Security, IEEE S&P). You should familiarise yourself with the research of the Software Reliability Group (see our projects and publications) particularly the Varan, Mvedsua and SaBRe projects.

You must have a PhD (or equivalent) in an area pertinent to this position. Candidates close to completion of their PhD will also be considered, but will be initially appointed as Research Assistants within the salary range £36,045 - £39,183 per annum.

You must have excellent communication skills and be able to organise your own work with minimal supervision and prioritise work to meet deadlines.

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.

Note that an earlier start date is possible.

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

How to apply

We will be reviewing applications on a rolling basis and reserve the right to close the advert early if the position is filled. It is therefore advisable that you submit your application as early as possible.

Applications must include the following:

  • An online application form

  • A two-page 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, to which ares (program analysis or systems) your background aligns best, and why you think your expertise is relevant. Generic research statements which do not address the points above will likely lead to the application being dismissed.

  • Transcripts of all university and PhD results.

  • The names and contact information of two or three referees who can provide letters of recommendation.

If your application is shortlisted, you will be invited for an interview and asked to solve a practical task.

Should you have any queries regarding the application process please contact Jamie Perrins, Administrative Assistant, at

Committed to equality and valuing diversity. We are also an Athena SWAN Silver Award winner, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people.