Post Doc - Philosophy
Carnegie Mellon University: Dietrich College of Humanities and Social Sciences: Philosophy
Location: Pittsburgh, PA
Description:
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 四虎影视 in the areas of homotopy type theory, categorical logic, and formalization of mathematics using interactive proof assistants. The 四虎影视 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.
