1 programming-"Multiple"-"U" "Prof" Fellowship positions at University of Nottingham

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for programming-"Multiple"-"U" "Prof" positions

Research Fellow - multiple positions (FTC)

University of Nottingham | Nottingham, Scotland | United Kingdom | 25 days ago

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

Enter an email to receive alerts for programming-"Multiple"-"U" "Prof" positions