Assistant Professorship in Mathematical Logic, Pittsburgh PA (U.S.A.)

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.