Postdoctoral Fellow - Institute for Computer-Aided Reasoning in Mathematics (ICARM)
Pittsburgh, PAFellowshipSeen 1 day agoSeen in employer's feed 1 day ago
Most applications go out cold — see where you stand first. No sign-up to start.
Watch jobs like this. New roles like this one near Pittsburgh, PA, by email.
Don't just apply. Show up ready.
Olive works from this exact posting.
At a glance
Olive lists jobs from US employers, including remote roles you can work from the United States.
Requirements
Credentials this posting asks for.
Job overview
The Institute for Computer-Aided Reasoning in Mathematics at Carnegie Mellon University seeks postdoctoral fellows to conduct AI and formal methods research applied to mathematics and to support mathematicians alongside technical staff, beginning August 2027 for a two‑year term.
Skills & qualifications
Skills
Qualifications
Full job description
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/ ).
Application Instructions
Applicants should upload a cover letter, research statement, CV, and list of references to Interfolio. We will contact references directly to request letters, if needed. We will consider applications 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.
Similar jobs, posted recently
Open roles like this one, listed in the last 30 days.
- Postdoctoral Teaching Fellowship in Electrical and Computer EngineeringCarnegie Mellon University · Pittsburgh, PA
- Research Assistant - School of Computer Science - LTICarnegie Mellon University · Pittsburgh, PA
- Research Assistant - School of Computer Science - CSDCarnegie Mellon University · Pittsburgh, PA
- Research Associate - School of Computer Science - LTICarnegie Mellon University · Pittsburgh, PA
Patient Services Representative- UPMC Vision Institute St. MargaretUPMC · Pittsburgh, PA
You've read the whole posting — now see how you match it.