Hi all, I have both postdoctoral and PhD positions at Imperial College London to work on topics involving KLEE (as well as other topics). The research will be part of the ERC Consolidator Grant Project "PASS: Program Analysis for Safe and Secure Software Evolution" and will focus on helping software systems evolve safely and securely.
The application deadline is 16 June. For more details about these positions, please see: https://srg.doc.ic.ac.uk/vacancies/postdoc-erc-2019/ and https://srg.doc.ic.ac.uk/vacancies/phd-erc-2019/ Informal inquiries are encouraged, simply reply (but don't reply-all) to this email. Best, Cristian _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev