Sort by
Refine Your Search
-
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
-
opportunities to contribute to undergraduate and postgraduate teaching courses are available and candidates can be trained towards a formal teaching accreditation. The successful applicant will be expected
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions