Sort by
Refine Your Search
-
academic roles, should they arise, at Durham or elsewhere. Successful applicants are normally expected to be within 8 years of completing their PhD, although career breaks for parental leave and/or health
-
of the project’s four research sites, using feminist, creative, and participatory methods including qualitative interviews, counter-mapping, and Photovoice. They will analyse qualitative data, and
-
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