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

[Cristian Cadar]

Hi all,

I have a couple of postdoctoral positions in my group at Imperial 
College London, at least one of which will involve KLEE:
https://srg.doc.ic.ac.uk/vacancies/postdoc-pass-21/

The application deadline is 7th January 2021.

We also have fully-funded PhD positions, for which I am of course happy 
to consider KLEE-related topics:
https://www.imperial.ac.uk/computing/prospective-students/phd/

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

Best,
Cristian