Assistant Professor (EXPIRED)

The Department of Philosophy at Carnegie Mellon University seeks applications for a full-time, tenure-track position at the rank of Assistant Professor beginning Fall 2020. The area of specialization should be mathematical logic. We are particularly interested in candidates who bridge philosophy, mathematics, and computer science, and who connect with some of the Department’s current research areas, including category theory, proof theory, homotopy type theory, formal verification, automated reasoning, modal logic, and history and philosophy of mathematics.

The Department strongly supports interdisciplinary and collaborative research, and we encourage individuals from diverse intellectual and scientific backgrounds to apply. The standard teaching load is 3.5 courses per year (7 courses over four semesters), both undergraduate and graduate courses. The position also requires advising graduate students, and other non-teaching responsibilities. The Department also offers a PhD in Pure and Applied Logic, permitting supervision of logic graduate students pursuing careers in mathematics, computer science, or industry.

Carnegie Mellon University is an equal opportunity employer and is committed to increasing the diversity of its community on a range of intellectual and cultural dimensions. Carnegie Mellon welcomes faculty applicants who will contribute to this diversity through their research, teaching and service, including women, members of minority groups, protected veterans, individuals with disabilities, and others who would contribute in different ways. CMU seeks to meet the needs of dual-career couples and is a member of the Higher Education Recruitment Consortium (HERC) that assists with dual-career searches.

Applications received by November 15, 2019 will be given priority. They should include: a letter of intent; curriculum vitae; research statement; educational or teaching statement; sample of research (e.g. a published paper or thesis chapter); and 3-6 letters of reference.