Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoctoral position at Carnegie Mellon


view this post on Zulip Email Gateway (Aug 18 2022 at 16:14):

From: Jeremy Avigad <avigad@cmu.edu>
Please circulate!

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. Applications (including a statement of purpose,
CV, at least one writing sample and two letters of reference) may be
sent to: The Philosophy Department; Carnegie Mellon University;
Pittsburgh PA 15213. Attention: Simon Fellowship Committee. Electronic
applications, preferably in pdf format enclosed as attachments, are
welcome and indeed preferred. Send email to: phil-search@andrew.cmu.edu.
The deadline for application is December 1, 2010.


Last updated: Apr 20 2024 at 01:05 UTC