Hi all,We have another open postdoctoral position in my group, which involves projects that build up on KLEE (as well as others):
https://srg.doc.ic.ac.uk/vacancies/postdoc-pass-22/
I am happy to answer any informal queries (but please don't reply to the whole list).
Best, Cristian _______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev