Imperial College London, Department of Mathematics

Position ID: 434-RAIFM [#15949]
Position Title: Research Associate in Formal Mathematics
Position Location: London, United Kingdom [map]
Subject Area: Formal Mathematics
Application Deadline: 2020/11/04 11:59PMhelp popup (posted 2020/05/14, listed until 2020/11/09)
Position Description:    

*** the list date or deadline for this position has passed. ***

Research Associate in Formal Mathematics

Pure Mathematics Section, Department of Mathematics

Faculty of Natural Sciences

South Kensington Campus

Salary Range: £40,215- £47,579 per annum*

Maximum Salary on Appointment £45,615

Fixed Term for 36 Months

Start date: 01 October 2020

Job Summary

Applications are invited for a Research Associate position in the Department of Mathematics at Imperial College London. The position is funded by Imperial College’s Excellence Fund for Frontier Research and will involve teaching various aspects of modern research arithmetic geometry to the Lean Theorem Prover.

Duties and Responsibilities

The project will involve working closely with Professor Kevin Buzzard and the number theory group at Imperial College, and will involve formalising some of the ideas in one or more of the following topics: de Jong’s Stacks Project, the theory of etale cohomology, the Langlands Program (and in particular formalisations of the statements of the main theorems and conjectures), class field theory and arithmetic duality, Scholze’s theory of perfectoid spaces, Lurie’s theory of infinity categories, the Clausen/Scholze theory of condensed sets.

Essential Requirements

The essential requirements for this post are as follow:

• A PhD or equivalent level of professional qualifications and/or experience in either algebraic number theory or formal proof verification. • Knowledge of, or evidence that you can quickly learn about, some of the basic tools of modern algebraic number theory. • Knowledge of, or evidence that you can quickly learn about, formalising pure mathematics in the Lean Theorem Prover. • Ability to carry out original research and to produce published research papers. • Ability to identify, develop and apply new concepts, techniques and methods. • Ability to organise and prioritise own work with minimal supervision. • Ability to prioritise own work in response to deadlines. • Ability to communicate complex information clearly

Further Information

The position is fixed term for 36 months. The expected start date is 1 October 2020 or soon thereafter.

*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £35,477 - £38,566 per annum.

In addition to completing the online application, candidates should attach: • A full CV; • A research statement describing the candidate’s previous and current research, expertise, and future research plans; and • The details of three letters of references.

To apply please visit: and search the ref number: NAT00701

For any specific queries regarding the post please contact Professor Kevin Buzzard,

If you experience any technical issues when applying online, please email

The College is a proud signatory to the San-Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions, we evaluate applicants on the quality of their work, not the journal impact factor where it is published. For more information, see

The College believes that the use of animals in research is vital to improve human and animal health and welfare. Animals may only be used in research programmes where their use is shown to be necessary for developing new treatments and making medical advances. Imperial is committed to ensuring that, in cases where this research is deemed essential, all animals in the College’s care are treated with full respect, and that all staff involved with this work show due consideration at every level.

Imperial College is committed to equality of opportunity, to eliminating discrimination and to creating an inclusive working environment. We are an Athena SWAN Silver award winner, a Stonewall Diversity Champion, a Disability Confident Employer and work in partnership with GIRES to promote respect for trans people.

We are not accepting applications for this position through Mathjobs.Org right now. Please apply at
Contact: / (fax)
Postal Mail:
Department of Mathematics
Imperial College London
South Kengsington Campus
Web Page:

© 2021 MathJobs.Org, American Mathematical Society. All Rights Reserved.