1 formal-verification-computer-science Postdoctoral positions at University of Liverpool
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
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions