Two Research Associates (Postdoctoral) in Software Testing, Security and Programming Languages

Imperial College London - Department of Computing

Research Associate salary range: £36,070 - £43,350 per annum*

Two full time, fixed-term appointments until 31 December 2020

To start 01 January 2018

The Department of Computing at Imperial College London is a leading department of Computer Science among UK Universities, and has consistently achieved top results in each of the research assessments undertaken by the Higher Education Funding Council for England. In the 2014 REF assessment, the Department was ranked third (1st in the Research Intensity table published by The Times Higher), and was rated as "Excellent" in the previous national assessment of teaching quality.

We are looking to hire two motivated postdoctoral Researchers to work at the intersection of software testing, security and programming language. The successful applicants will join the Software Reliability Group and the Multicore Programming Group under the direction of Dr Cristian Cadar and Dr Alastair Donaldson on a new project entitled Automatically Detecting and Surviving Exploitable Compiler Bugs.

The research will focus on understanding the extent to which compiler bugs — where a compiler silently emits incorrect code — are a threat to the reliability and security of critical infrastructure, and on methods for mitigating this threat by detecting potential issues ahead of time, or by detecting and surviving problems live, in a production environment.

To apply, candidates will need to have a strong computing background, experience in building and working with large software systems and tools, and proven knowledge in at least one of the areas of testing, security, and practical aspects of programming languages (such as compiler design and implementation). Candidates are also expected to have a proven research record and publications in the relevant areas. Applicants must have a PhD (or equivalent) in an area pertinent to the subject area.

Candidates will have excellent communication skills and be able to organise their own work with minimal supervision and prioritise work to meet deadlines. All applicants must be fluent in spoken and written English.

*Candidates close to completion of their PhD will also be considered, but will be initially appointed as Research Assistant within the salary range £32,380 - £34,040 per annum.

For informal inquiries about this position please contact Dr. Cristian Cadar and Dr. Alastair Donaldson. For further information on the Software Reliability Group and Multicore Programming Group, and related projects, see and

How to apply
Our preferred method of application is online via our website at the following link: (select “Job Search” and enter the job reference no EN20170334LE. Please complete and upload an application form as directed and submit any other relevant supporting documents such as your full CV.

Applications must include the following:

  • An online college application form available at Please complete and upload an application form as directed.
  • A full CV including a publication list.
  • A two-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise is relevant.
  • Transcripts of all higher-education degree results.
  • The names and contact information of two or three referees who can provide letters of recommendation.

Should you have any queries regarding the application process please contact Ms. Georgina Tennant 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.

Share this job
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role: