1 formal-verification-computer-science PhD positions at The University of Edinburgh in United Kingdom
Sort by
Refine Your Search
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions