Sort by
Refine Your Search
-
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
-
to departmental activities, as well as the standard teaching, grading and mentoring duties. Profile Candidates should have (or be near completion of) a PhD in mathematics with an excellent research track record
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions