Zulip Chat Archive
Stream: job postings
Topic: ICARM Postdoctoral Fellowship
Jeremy Avigad (Jan 22 2026 at 22:40):
The Institute for Computer-Aided Reasoning in Mathematics invites applications for a postdoctoral fellowship beginning August 2026. A Ph.D. in mathematics or a closely related discipline is required. We seek strong researchers with demonstrated experience using one or more of the technologies above and an interest in supporting the institute’s mission. The term is one year, renewable.
Applicants should submit their cover letter, research statement, CV, and list of references to positions@icarm.io. Applications will be considered until the position is filled.
https://icarm.io/positions/
https://www.mathjobs.org/jobs/list/27988
Last updated: Feb 28 2026 at 14:05 UTC