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
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev