I have a fully-funded PhD position available in my research group at Imperial College London to work on an interesting project which is directly related to KLEE:
https://srg.doc.ic.ac.uk/vacancies/phd-symex-1617/

Please get back to me (not on the mailing list) if you would like more details.

Best,
Cristian

_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to