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 verification computer science
Enter an email to receive alerts for verification-computer-science positions