Fellowships at CMU in Mathematics, Cognition, and AI

Stream: job postings

[Simon DeDeo]

Dear Lean Community,

We've received very nice funding from the John Templeton Foundation to study mathematical cognition, with a particular focus on the ways in which formalization and AI will change how mathematics is done.

We'll be bringing together mathematicians, Lean gurus, cognitive scientists, and philosophers to ask all sorts of questions, from the very abstract ("what is the space of mathematical proofs") to the concrete ("how do people literally write Lean code").

This is an interdisciplinary project, and we'll be hiring both at the postdoctoral level (up to three years in residence here at CMU) and the pre-PhD level.

We're next door to great things like the Hoskinson Center, and CMU is a liberal and friendly place — our goal is to get great people and help them do great things. If you have unusual circumstances, please drop me a line sdedeo[at]andrew.cmu.edu

For more information, please see https://proofsandreasons.io and/or the CMU postdoc application at https://cmu.wd5.myworkdayjobs.com/en-US/CMU/details/Postdoctoral-Fellow---DeDeo-Lab---Dietrich-College_2023842?q=2023842

If you have any questions, you are very welcome to ask here, and I'll reply when I get the ping.

Best wishes from Pittsburgh,

Simon

[Simon DeDeo]

Our predoc application is now also live, at https://cmu.wd5.myworkdayjobs.com/en-US/CMU/details/Predoctoral-Fellow---DeDeo-Lab---Dietrich-College_2023858?q=2023858

Applications are reviewed on a rolling basis. This is ideal for someone who has finished/is finishing their Bachelor's or Master's, but wants to do something wild for a year or two before beginning the PhD (or running off to Bali, etc).

[Frederick Pu]

it says there's a research proposal section in the application, but I don't see any such field in the workday form

[Aayush Rajasekaran]

Not affiliated with CMU, but I'm guessing you should just upload it as one of the "Resume/Documents" in the My Experience tab.

[Simon DeDeo]

Hi Fredrick — thanks for your interest; you can upload it as one of your files. I’ll ask our HR people if that can be made a little more transparent, though.

[Frederick Pu]

oh i accidently submited because I thought there would be a page afterwards for the proposal. Anyway I can reset the application?

[Simon DeDeo]

There should be a contact listed; try csciullo@andrew.cmu.edu

[Simon DeDeo]

Here’s the message from Christopher (Csciullo):

The simplest answer - they should upload any research documents/summary in the section that lets you attach a resume/CV and other documents.

If anyone is having major issues, please don't hesitate to send them to me or provide my contact info, and I can walk them through.

[Michail Karatarakis]

Is there a preferred or expected start date for the postdoc positions?

[Simon DeDeo]

Hi Michail! We’re flexible. Earliest start date is February 10th, 2026; latest perhaps Late Fall 2026. If you have unusual constraints, feel free to mention in the cover letter.

[Wrenna Robson]

@Simon DeDeo I just wanted to say that this sounds like a really exciting research project and one I am very interested in: unfortunately being trans I do not currently feel safe traveling to the US, let alone living there.