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