Tenure Track Position, Tufts University

Stream: job postings

[Melanie Matchett Wood]

The Department of Mathematics at Tufts University invites applications for a tenure-track position in Mathematics, beginning Fall 2025, at the assistant professor level. Preference will be given to applicants whose research is connected with formal proof verification or other mathematical aspects of AI. This could include type theory, categorical logic, use of large language models for automated theorem proving, statistical and machine learning theory, and analysis of AI algorithms.

https://www.mathjobs.org/jobs/list/25168