Sort by
Refine Your Search
-
Category
-
Field
-
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
-
other regular progress reports, to internal management and to external funders. This will include liaising with any funders to ensure that the DTPs have delivered any formal reporting and ensure contract
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions