Greater Chicago Midwest HERC

The Philosophy Department at Carnegie Mellon University seeks applications for a 2 year post-doctoral fellowship in logic, type theory, and category theory beginning in Fall 2026. Salary is commensurate with qualifications and experience. The applicant should do research and teaching in the areas of homotopy type theory, categorical logic, and formalization of mathematics using interactive proof assistants. The teaching load will be 3 undergraduate or graduate courses per year and supervision of undergraduate and graduate student research. Evidence of outstanding research publications as well as outstanding educational accomplishments are expected.

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