Carnegie Mellon University, Forbes Avenue, Pittsburgh, PA, USA
Carnegie Mellon University
Type
Full time, Academic / Faculty, Mathematics
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.
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/ ). Application Instructions 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. Equal Employment Opportunity Statement 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.
Job details
Title
Post Doc - 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.
