[klee-dev] Postdoctoral and PhD positions at Imperial College London related to KLEE

[Cadar, Cristian]

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