1 programming-"Multiple"-"Washington-University-in-St" Fellowship research jobs at University of Nottingham

Research Fellow - multiple positions (FTC)

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