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

[Cristian Cadar]

Hi all,

I have again both postdoctoral and PhD positions in my group at Imperial 
College London to  work on topics involving KLEE (as well as other 
topics).  You can find more details at:
https://srg.doc.ic.ac.uk/vacancies/postdoc-pass-20/
https://srg.doc.ic.ac.uk/vacancies/phd-pass-20/

The application deadline is 3rd May 2020.

Informal inquiries are encouraged, simply reply (but don't reply-all) to
this email.

Best,
Cristian