-
Number Theory, focusing on the theory of automorphic forms and having strong interest in formalization of mathematics. The anticipated starting date is Summer 2026 and is flexible; the initial duration
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions in Switzerland