[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.