1 formal-method-phd Fellowship positions at University of Birmingham in United Kingdom
Sort by
Refine Your Search
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions