Skip to main content

Carnegie Mellon University, Institute for Computer-Aided Reasoning in Mathematics

Position ID:
3637-PF [#27988]
Position Title:
Postdoctoral Fellow
Position Type:
Postdoctoral
Position Location:
Pittsburgh, Pennsylvania 15237, United States of America
Subject Areas:
Mathematics; Formal Methods; AI
Appl Deadline:
(posted 2026/01/15, listed until 2026/07/15)
Position Description:
   

Position Description

The Institute for Computer-Aided Reasoning in Mathematics is a new US National Science Foundation Mathematical Sciences Research Institute, located on the campus of Carnegie Mellon University in Pittsburgh, Pennsylvania. Its mission is to support the use of new technologies for mathematical research, including interactive theorem proving and formalization, automated reasoning and symbolic AI, and machine learning and neural AI.

The Institute invites applications for a one-year postdoctoral fellowship beginning August 2026, potentially renewable for a second year. 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, as described on its website (https://icarm.io/).

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.

Carnegie Mellon University is an equal opportunity employer. It does not discriminate in admission, employment, or administration of its programs or activities on the basis of race, color, national origin, sex, disability, age, sexual orientation, gender identity, pregnancy or related condition, family status, marital status, parental status, religion, ancestry, veteran status, or genetic information. Furthermore, Carnegie Mellon University does not discriminate and is required not to discriminate in violation of federal, state, or local laws or executive orders.

We are not accepting applications for this job through MathJobs.Org right now. Please positions@icarm.io.
Contact: Jeremy Avigad
Email: email address
Postal Mail:
Carnegie Mellon University
Department of Philosophy
5000 Forbes Avenue
Baker Hall 161
Pittsburgh, PA 15213