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 electronic structure
Enter an email to receive alerts for electronic-structure positions