2 programming-"Prof" Fellowship positions at University of Nottingham in United Kingdom
-
United Kingdom Application Deadline 10 Sep 2025 - 22:59 (UTC) Type of Contract Temporary Job Status Full-time Hours Per Week 38.5 Is the job funded through the EU Research Framework Programme? Not funded by a EU
-
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-"Prof" positions