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.

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.

About Carnegie Mellon University

Carnegie Mellon (www.cmu.edu) is a private, internationally ranked research university with programs in areas ranging from science, technology and business, to public policy, the humanities and the arts. More than 12,000 students in the university’s seven schools and colleges benefit from a small student-to-faculty ratio and an education characterized by its focus on creating and implementing solutions for real problems, interdisciplinary collaboration and innovation. A global university, Carnegie Mellon’s main campus in the United States is in Pittsburgh, Pa. It has campuses in California’s Silicon Valley and Qatar, and programs in Africa, Asia, Australia, Europe and Mexico.

Connections working at Carnegie Mellon University