Skip to main content
Tallo logoTallo logo

Find Jobs

Find Jobs Near You – Available Work in Your Location

Skip to job details

Back to Results

Apply for this opportunity

To apply for this job, you'll continue to an external website or email application.

Apply Offsite
Carnegie Mellon University

Post Doc - ICARM

Pay: Not specified
Posted: 2 weeks ago
Location: Pittsburgh, PA (Onsite)
Last Updated: 2 weeks ago
Hours: Full-Time
Expires: 9/30/2026
Review key factors to help you decide if the role fits your goals.
How is this calculated?
Pay Growth
?
out of 5
Not enough data
Not enough info to score pay or growth
Job Security
?
out of 5
Not enough data
Calculating job security score...
Total Score
75
out of 100
Average of individual scores

Were these scores useful?

Job Description

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/ ).