Department/ Faculty: Pure Mathematics Section, Department of Mathematics, Faculty of Natural Sciences

Location: South Kensington Campus

Salary Range: £40,858 - £48,340 per annum*

Job Summary

Applications are invited for a Research Associate position in the Department of Mathematics at Imperial College London. The position is funded by EPSRC and will involve teaching the Langlands philosophy 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 aspects of the theory of automorphic representations, Galois representations, and the relations between them.

Essential Requirements

The essential requirements for this post are as follows:

• 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 full time, fixed term for 18 months with start date as soon as possible.

*Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant within the salary range £36,045 - £39,138 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.

For any specific queries regarding the post please contact Professor Kevin Buzzard, k.buzzard@imperial.ac.uk

If you experience any technical issues when applying online please email recruitment@imperial.ac.uk

Closing date 11th February 2021.

To apply please visit www.imperial.ac.uk/jobs and search for the vacancy under the reference number NAT00845.

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 https://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research-evaluation/

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.

http://www.imperial.ac.uk/research-and-innovation/about-imperial-research/research- integrity/animal-research/

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.