Carnegie Mellon University, Philosophy

Position ID: 2348-AP [#14697]
Position Title: Assistant Professor (Mathematical Logic)
Position Type: Tenured/Tenure-track faculty
Position Location: Pittsburgh, Pennsylvania 15213, United States
Subject Area: Mathematical Logic
Application Deadline: 2019/11/15help popup (posted 2019/10/02)
Position Description:    

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.

Qualifications Area of specialization: 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.

Application Instructions 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.


This employer is not accepting applications for this position through Mathjobs.Org. Please apply at https://apply.interfolio.com/69329.
Email:
Postal Mail:
Carnegie Mellon University
Department of Philosophy
5000 Forbes Avenue
Baker Hall 161
Pittsburgh, PA 15213
Web Page: https://www.cmu.edu/dietrich/philosophy/

© 2019 MathJobs.Org, American Mathematical Society. All Rights Reserved.