Postdoctoral position in Symbolic Execution

Fixed Term appointment until 10 January 2019

Applications are invited for a postdoctoral position in the Software Reliability Group of the Department of Computing at Imperial College London, under the direction of Dr. Cristian Cadar.

The Department of Computing at Imperial College London is a leading department of computer science, with a strong international presence in areas relevant to this position, such as software engineering and programming languages. It has consistently been awarded the highest research rating in the research assessment exercises undertaken by the Higher Education funding Council for England (HEFCE) and was rated as excellent in the previous national assessment of teaching quality.

This position will be based at the South Kensington campus in central London.

Description and requirements

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 for this position, you will need to have a strong background in compilers and program analysis, and a good understanding of software engineering and operating systems. You will also need experience in building and working with large software systems and tools. Prior experience with LLVM and KLEE is highly desirable, but not required.

Applicants will have (or shortly expect to receive) a PhD degree in Computer Science or a related field, and will have a proven track record with strong publications in relevant areas. You must have good communication and technical writing skills and be able to organise your own work with minimal supervision and prioritise it to meet deadlines. All applicants must be fluent in spoken and written English.

Informal inquiries about this position can be directed to Dr. Cristian Cadar. For further information on the group and related projects see the group website.

How to apply

Applications must include the following:

  • An online college application form available at https://www.imperial.ac.uk/jobs. Please enter the job reference number ENG00095 in the search box and then complete and upload an application form as directed.
  • A full CV
  • A 2-3 page research statement describing why your expertise is relevant for this position and future research plans
  • Transcripts of all degree results
  • The name 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.

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