Four post-docs at Imperial College London

Stream: job postings

[Kevin Buzzard]

I'm looking for four people to formalize statements of recent theorems from top generalist journals such as the Annals of Mathematics. These are two-year positions starting on 1st October 2025 (i.e. in a couple of months!). Here's the ad link; deadline for applications is 15th Aug.

https://www.imperial.ac.uk/jobs/search-jobs/description/index.php?jobId=24931&jobTitle=Research+Associate+in+Formalization+of+Mathematics

Here's the reasons I think this is an important project:

1) makes a hard target dataset for autoformalization methods;
2) forces us to formalize modern mathematical definitions which are being used today in theorems in the top journals.

Ideally these definitions will end up in mathlib; the idea is that mathlib should contain material relevant to modern researchers across mathematics. Note that this is not a number-theory-specific job, I am looking for applicants with expertise across pure mathematics.

Any questions feel free to email me or DM me here.