Sort by
Refine Your Search
-
for the researcher to follow their own research interests. Candidates will be expected to actively contribute to all departmental activities. Profile: - A formal requirement for the position is a PhD in mathematics
-
, 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