Postdoctoral position in Software Testing and Programming Languages

Imperial College London - Department of Computing

Full time, fixed term appointment until 31 December 2020

Salary range: £36,800 to £44,220 per annum*
(Maximum salary on appointment will be £43,050 per annum)

We are seeking to hire one postdoctoral researcher interested in working at the intersection of software testing and programming languages. The successful candidate will work joint between the Software Reliability Group and the Multicore Programming Group, under the direction of Dr. Cristian Cadar and Dr. Alastair Donaldson.

The research will focus on testing compilers for popular programming languages, and understanding the extent to which compiler bugs affect deployed programs. A particular focus of the research will be on bugs that are security-critical in nature, presenting a largely unexplored attack surface whereby software that is correct at the source level can nevertheless be vulnerable to exploitation when erroneously compiled into binary form.  

The goal of this project is to investigate and design program transformations–both semantics-preserving and semantics-altering–that increase the scalability of symbolic execution. The techniques will primarily be implemented on top of the KLEE symbolic execution engine. You can refer to this paper for more details on the proposed research agenda. However, the project is broader than this, and provides significant freedom to the postdoctoral researcher to shape the course of the project.

To apply, candidates will need to have a strong computing background, experience in building and working with large software testing tools, and proven knowledge in either software testing or 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. Excellent pre-doctoral candidates wishing to undertake doctoral studies in this research area will also be considered.

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.

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

*Candidates who have not yet been officially awarded their PhD will be appointed as a Research Assistant within the salary range £32,380 to £34,040 per annum.

For further details on this opportunity visit our Jobs website and search using vacancy reference number ENG000096. In addition to completing the online application, candidates should attach:

  • A full CV including a publicationlist.
  • A two-page research statement indicating what you see are interesting research issues relating to the above post and why your expertise isrelevant.
  • Transcripts of all higher-education degreeresults.
  • The names and contact information of two or three referees who can provide letters ofrecommendation.

For queries regarding the application process contact Georgina Tennant (

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: