Logic List Mailing Archive

Assistant Professorship in Mathematical Logic, Pittsburgh PA (U.S.A.), Deadline: 15 Nov 2019

The Department of Philosophy at Carnegie Mellon University is looking to
hire a mathematical logician at the assistant professor level.

   Interfolio: https://apply.interfolio.com/69329
   MathJobs: https://www.mathjobs.org/jobs/jobs/14697
   PhilJobs: https://philjobs.org/job/show/13806

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/15

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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam