The page you are requesting does not exist. You can start your search here!
-
can be sent directly by email to Dr Kirsty McMillan (kirsty.mcmillan@liverpool.ac.uk). Formal applications should be online. Please include your CV and a personal statement outlining your interest in
-
related to computer-aided formal verification. The position is funded through the EPSRC-Project Games for Good grant, with Patrick Totzke, Sven Schewe and Qiyi Tang. Collaborations with other local and
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions