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.
At the SEI, we research complex software engineering, cybersecurity, and AI engineering problems; create and test innovative technologies; and transition maturing solutions into practice. We have been working with the Department of Defense, government agencies, and private industry since 1984 to help meet mission goals and gain strategic advantage.
