"Assistant Research Professor"

The Department of Mathematical Sciences invites applications for an Assistant Research Professor beginning August 2026. This is a twelve-month appointment. Research faculty at Carnegie Mellon are supported by external funding, as described by the university policy on research faculty appointments, https://www.cmu.edu/policies/faculty/appointments-research-faculty.html.

The Department of Mathematical Sciences has over forty tenure track and teaching track faculty members and supports around 60 graduate students and 400 undergraduate mathematics majors pursuing a variety of degree programs and concentrations.

A Ph.D. in mathematics or a closely related discipline is required. We seek a candidate to serve as an Innovation Engineer for the Institute of Computer-Aided Reasoning in Mathematics (ICARM), a new NSF Mathematical Sciences Institute hosted at Carnegie Mellon University. The candidate should have extensive experience using one or more of the technologies supported by ICARM, including proof assistants and neural and symbolic AI for mathematics. The candidate should also have an interest in supporting the institute's mission, as described on its website (https://icarm.io/).

Applicants should apply via Interfolio as well as send a cover letter, CV, and list of references to positions@icarm.io. Applications will be considered until the position is filled.

For full consideration, applications should be submitted by January 30, 2026. Applications will be considered until the position is filled.