Postdoc at CMU

The Carnegie Mellon University 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. Any of the following areas are particularly welcome: proof theory, category theory, formal verification, automated reasoning, or history or philosophy of mathematics. The Fellowship is … Continue reading Postdoc at CMU