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