-
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
-
partners. The ability to work in a team, lead both internally and externally, and interact & collaborate actively and professionally with industrial partners is essential. Reporting to Prof Chris Gerada
Enter an email to receive alerts for programming-"Prof" positions