Postdoctoral Fellow - Institute for Computer-Aided Reasoning in Mathematics (ICARM)
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/).
