2 computer-science-programming-languages-"Prof" positions at University of Nottingham
Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and
-
Applications are sought for a fully-funded 42 month PhD studentship to work with Dr Rachel Nicks and Prof Stephen Coombes on the project: White Matter Computation: Utilising axonal delays to sculpt
Enter an email to receive alerts for computer-science-programming-languages-"Prof" positions