1 computer-science-programming-languages-"Prof" Fellowship positions at University of Nottingham

Research Fellow - multiple positions (FTC)

University of Nottingham | Nottingham, Scotland | United Kingdom | 1 day 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