Postdoctoral Fellow - Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Closes:
54
Postdoctoral Fellow - Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Dec 5, 2026
Location
Carnegie Mellon University, Forbes Avenue, Pittsburgh, PA, USA
Carnegie Mellon University
Type
Full time, Student / Phd Jobs
36%Job Post Completeness
Our Job Post Completeness indicates how much vital information has been provided for this job listing. Academic Jobs has done the heavy lifting for you and summarized all the important aspects of this job to save you time.
Know Someone Great?
Help build our team with the best people you know.
Enter 1 or many referrals below.
Higher Ed Employee Referrals is only available for full job postings.
Carnegie Mellon University: VPR Office
Location: Pittsburgh, PA
Description:
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a new US National Science Foundation Mathematical Sciences Research Institute on the Carnegie Mellon University campus 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 two-year postdoctoral fellowship beginning August 2027. Fellows are expected to carry out research on applications of AI and formal methods to mathematics and, in lieu of teaching duties, assist the institute's technical staff (its innovation engineers) in supporting mathematicians using these new technologies.
Qualifications:
A Ph. D. in mathematics or a closely related discipline is required. We seek candidates with expertise in machine learning and/or formal methods with applications to mathematics, as well as an interest in supporting the Institute's mission, as described on its website (https://icarm.io/).
Job details
Title
Postdoctoral Fellow - Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Employer
Carnegie Mellon University
Location
Carnegie Mellon University, Forbes Avenue, Pittsburgh, PA, USA
AcademicJobs.com is the premier platform to discover CMU jobs, connecting talented professionals with exceptional career opportunities at one of the world’s leading universities for technology and innovation. Carnegie Mellon University (CMU), located in Pittsburgh, Pennsylvania, is renowned for its pioneering research and interdisciplinary education, making CMU uni jobs highly sought after by academics and professionals globally. CMU careers offer a dynamic and collaborative environment for individuals to excel. CMU university careers span a diverse range of disciplines, reflecting the university’s key areas of academic specialization, including computer science, robotics, engineering, business, and the arts. Employment CMU includes roles such as professors, research scientists, postdoctoral scholars, and professional staff positions, accommodating various expertise levels. For those pursuing CMU jobs Pittsburgh, the university’s vibrant campus provides a dynamic workplace in a city known for its innovation and cultural richness. CMU vacancies and job postings are showcased on AcademicJobs.com, where candidates can explore opportunities in teaching, cutting-edge research, and administrative roles. Jobs at CMU cover fields like artificial intelligence, cybersecurity, and human-computer interaction, aligning with the university’s mission to address global challenges through technological and creative innovation. Each CMU vacancy is an opportunity to contribute to transformative projects within a world-class academic community. CMU Employment Opportunities are extensive, with CMU job Opportunities ranging from academic faculty to technical and operational roles. A CMU Career offers the chance to join an institution that values interdisciplinary collaboration, innovation, and societal impact. CMU uni openings are regularly updated on AcademicJobs.com, ensuring access to the latest CMU vacancies. Jobs at CMU uni are ideal for those passionate about advancing technology and knowledge. CMU job postings include positions in data science, performing arts, and professional services such as IT and research administration. CMU Employment through AcademicJobs.com connects talented individuals with CMU Uni vacancies, providing a seamless pathway to join a prestigious university driving global progress.
