Sort by
Refine Your Search
-
workshops, methods training, joint stakeholder sessions, and work-in-progress presentations. The Centre's ECRs will work as teams on specific projects. The role-holder will also collaborate with ECRs based
-
workshops, methods training, joint stakeholder sessions, and work-in-progress presentations. The Centre's ECRs will work as teams on specific projects. The role-holder will also collaborate with ECRs based
-
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
-
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