Post Doc - ICARM
Post Doc - ICARM
Company:
Carnegie Mellon University
Job Location:
Pittsburgh, 15213
Category:
Mathematics
Type:
Full-Time
Carnegie Mellon University: Dietrich College of Humanities and Social Sciences: Philosophy
Location: Pittsburgh, PA
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.
Qualifications:
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/).
Unlock this job opportunity
View more options below
View full job details
See the complete job description, requirements, and application process
Express interest in this position
Let Carnegie Mellon University know you're interested in Post Doc - ICARM
Get similar job alerts
Receive notifications when similar positions become available


%20Jobs.jpg&w=128&q=75)