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