Sort by
Refine Your Search
-
target start date for a successful applicant of October 1, 2026. This will be a 1-year appointment with the possibility of renewal through March 2029. The primary duties are to develop and administer a
-
administer a benchmark for auto-formalization of mathematics, and to engage in related research. Duties will include contributing to the benchmarking dataset, organizing and ensuring the quality of the data
Searches related to administative
Enter an email to receive alerts for administative positions