AVAILABLE DOCUMENTS

Attached documents are available under links. Clicking a document link will initialize its download.
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities mentioned above.
We reserve the right to close the advert prior to the closing date stated should we receive a high volume of applications. It is therefore advisable that you submit your application as early as possible to avoid disappointment.
If you encounter any technical issues while applying online, please don’t hesitate to email us at support.jobs@imperial.ac.uk. We’re here to help.

ABOUT THE ROLE

Applications are invited for a Research Associate position in the Department of Mathematics at Imperial College London.

WHAT YOU WOULD BE DOING

The successful candidates will work closely with Professor Kevin Buzzard on a project to write Lean formalizations of recent theorems in top generalist journals such as the Annals of Mathematics.
The position is well-suited for candidates with expertise both in Lean and in some aspect of pure mathematics which is well-represented in the top generalist journals.