The Formal Methods Engineering (FME) Lab, part of the Software and Systems Security group at the University of Manchester (Department of Computer Science), led by Dominik Winterer, aims at driving Formal Methods to mainstream adoption, making critical software bugs extremely rare.
We are hiring! I am looking for PhD students π©βππ¨βπ, interns π©βπ»π¨βπ», and visitors π§³π§βπ€βπ§
Qualities of ideal candidates include:
If you have some of these qualities and are interested in working with me, please send your CV and other relevant materials to fme.lab.recruiting@gmail.com.
-- Dominik WINTERER