[TYPES/announce] Postdoc position in symbolic execution at Imperial College London

[Cristian Cadar]

Applications are invited for a postdoctoral position in the Software
Reliability Group (http://srg.doc.ic.ac.uk/) in the Department of
Computing at Imperial College London.

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.

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 desirable, but not
required.

Applicants will have (or shortly expect to receive) a PhD degree (or
equivalent) in Computer Science or a related field, and will be expected
to have a proven track record with strong publications in relevant areas.

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

The application deadline is 4 September 2015, with interviews expected
to take place on 18 September.

For further information about this position, please visit
http://srg.doc.ic.ac.uk/vacancies.