Fwd: FW: postdoc (and other) opportunities in philosophy, cog sci, mathematics, and theoretical computer science

[Reed Orchinik]

FYI. Simon's great and these positions look interesting!

---------- Forwarded message ---------
From: Reed Orchinik <orch...@mit.edu>
Date: Wed, Nov 5, 2025 at 2:30 PM
Subject: FW: postdoc (and other) opportunities in philosophy, cog sci, mathematics, and theoretical computer science
To: reed.o...@gmail.com <reed.o...@gmail.com>

From: Simon DeDeo <sde...@andrew.cmu.edu>
Date: Wednesday, November 5, 2025 at 12:56 PM
To:
Subject: postdoc (and other) opportunities in philosophy, cog sci, mathematics, and theoretical computer science

Dear Friends and Colleagues,

As part of Proofs and Reasons, https://proofsandreasons.io, a three year John Templeton Foundation project into mathematical cognition, metamathematics and theoretical computer science, and the philosophy of mathematics, we will be hiring!

(1) three postdoctoral fellows (rolling applications, apply by December 10th for full consideration)

(2) up to three predoctoral fellows (who have not started the PhD yet — an ideal way to boost a career, particularly from less fancy BA institutions)

(3) a graduate fellow

here at CMU, with all the bells, whistles, and health insurance we can provide. In this somewhat nightmarish job market, please send us your best, and encourage them to apply. We’re open to all sorts of candidates, with the ideal people having a background in cog sci, or math, or theoretical computer science, or philosophy, and with interdisciplinary aspirations. We can basically do anything.

Our three research themes are

• Proofs in Practice: the cognitive science of how humans discover and make sense of mathematical proofs. How do we prove things?

• Transcendental Structures: the formal study of mathematical proof itself (complexity, type theory, metamathematics, logic). What is the space of mathematical truth?

• Cyborg Proofs: the use of AI to discover and verify proofs, with and without human aid. What tools can we build, and how will they alter mathematics?

See https://proofsandreasons.io for more information, including our insane board of advisors, and do encourage folks to be in contact with questions. I’m aware that it’s a potentially difficult time for many people on the job market, and I (and CMU) are happy to get creative for people who don’t fall into the usual postdoc category.

Yours,

Simon

Simon DeDeo
Carnegie Mellon University & the Santa Fe Institute
https://santafe.edu/~simon