-
, 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 of the position is 1
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions in Switzerland