"Assistant Research Professor"

Assistant Research Professor

Company: Carnegie Mellon University

Job Location: Pittsburgh, 15213

Category: Mathematics

Type: Full-Time

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, 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.

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 (https://icarm.io/).

Apply Now