Herbert Simon Fellowship in Scientific Philosophy, Pittsburgh PA (U.S.A.)

The Carnegie Mellon Department of Philosophy invites applications for the Herbert Simon Fellowship in Scientific Philosophy. We are seeking applications from scholars working in logic or philosophy of mathematics (including its history). Applications in the following areas of logic are particularly welcome: proof theory, category theory, categorical logic, formal verification, and automated proof search.

The Fellowship is intended primarily for those who have recently received doctorates, including scholars with a continuing faculty appointment elsewhere. The Fellowship has a tenure of two years (non-renewable), with teaching duties of 2 courses/year, one of which should be a research seminar in the Fellow's specialty. Appointments of one year are possible for applicants with a continuing faculty appointment elsewhere. Residence in Pittsburgh is expected.

The deadline for application is December 1, 2010. For more information, see http://www.hss.cmu.edu/philosophy/job-simon-fellowship.php or send an email to phil-search at andrew.cmu.edu.