Postdoc at CMU
17 views
Skip to first unread message
Steve Awodey
Jun 9, 2026, 3:05:42 AM (6 days ago) Jun 9
to homotopyt...@googlegroups.com
Please feel free to write to me for more information about this opening:
Post Doc Teaching & Research Position
Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA
Open Date: Mar 26, 2026
Deadline: Aug 01, 2026 at 11:59 PM Eastern Time
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 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.
https://apply.interfolio.com/183890
Post Doc Teaching & Research Position
Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA
Open Date: Mar 26, 2026
Deadline: Aug 01, 2026 at 11:59 PM Eastern Time
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 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.
https://apply.interfolio.com/183890
Reply all
Reply to author
Forward
0 new messages