[klee-dev] Postdoc position related to KLEE

[Cristian Cadar]

Hi all,

I have an open postdoc position available in my research group, to work 
on an interesting project related to KLEE.  The application deadline is 
4 September, with the job starting in the next 3 to 6 months.  Please 
see http://srg.doc.ic.ac.uk/vacancies/ and get back to me directly (not 
on the mailing list) if you'd like more details.

We also have related PhD positions available, starting in April or 
October of next year.

Best,
Cristian