Postdoctoral Fellow, Institute for Computer-Aided Reasoning in Mathematics

Job overview

Postdoctoral Fellow, Institute for Computer-Aided Reasoning in Mathematics is an onsite fellowship in Pittsburgh, Pennsylvania, beginning in August 2027 and lasting two years. Compensation is not specified. The fellow will work with Carnegie Mellon University’s Institute for Computer-Aided Reasoning in Mathematics (ICARM), whose mission is to support mathematical research using new technologies. The fellow will research applications of AI and formal methods to mathematics and assist technical staff in supporting mathematicians using these technologies. The role contributes to ICARM’s work in interactive theorem proving, formalization, automated reasoning, symbolic AI, and machine learning.

What you'll do

• Conduct research on applications of AI and formal methods to mathematics
• assist the institute’s technical staff in supporting mathematicians using new technologies.

What we're looking for

Skills & competencies

postdoctoral fellow

icarm

pittsburgh pa

carnegie mellon university

mathematical research

artificial intelligence

formal methods

machine learning

interactive theorem proving

automated reasoning

symbolic ai

two-year fellowship

ph.d. required

Work arrangement

• Weekend coverage required

Why this role

Two-year fellowship beginning August 2027; a Ph.D. in mathematics or a closely related discipline is required.

About the employer

Carnegie Mellon University is hiring for this role. Industry: Colleges, Universities, and Professional Schools. Sector: 61.