Carnegie Mellon University
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) at Carnegie Mellon University invites applications for a two-year postdoctoral fellowship starting in August 2027. Fellows will conduct research on the applications of AI and formal methods to mathematics. In place of teaching duties, fellows will assist the institute's technical staff in supporting mathematicians with new technologies.
Headquarters
Pittsburgh, Pennsylvania, United States
Company Size
5001-10000 employees
Founded
1900
CMU is a global research university known for its world-class, interdisciplinary programs: arts, business, computing, engineering, humanities, policy and science.
CMU’s Robotics Innovation Center Secures FieldAI as Inaugural Corporate Tenant
2 weeks ago
2025 Most Disruptive Business School Startups: Basics, Carnegie Mellon University (Tepper)
Jan 4, 2026
Inside of Carnegie Mellon University’s new robotics center, where machines jump, swim and fly
1 week ago
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Carnegie Mellon University.
Carnegie Mellon University didn’t post a salary, so this is our estimate from similar listings.
EdBoard: Carnegie Mellon University wants you to be employed at the cost of our lives
2 weeks ago
Tenure-Track Assistant Professor in Mathematical Foundations of AI and Formal Reasoning
oraclecloudinfrastructure
Tenure-Track Assistant Professor in Mathematical Foundations of AI and Formal Reasoning
oraclecloudinfrastructure
Postdoctoral Research Scientist
Columbia University
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Postdoctoral Teaching Fellowship
Colorado School of Mines