Assistant Research Professor
Carnegie Mellon University: Mellon College of Science: Mathematical Sciences
Location: Pittsburgh, PA, USA
Description:
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, .
The Department of Mathematical Sciences has over forty tenure track and 四虎影视 track faculty members and supports around 60 graduate students and 400 undergraduate mathematics majors pursuing a variety of degree programs and concentrations.
Qualifications:
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 ().
