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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
