Research Associate in Formal Mathematics
Imperial College London Department of Mathematics
United Kingdom

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.

Job listing information

  • Reference NAT00701
  • Date posted 30 April 2020
  • Closing date 30 May 2020

Key information about the role

  • Location South Kensington Campus (map)
  • Position type Full time, fixed term
  • Salary £40,215 – £47,579 plus benefits
  • Department Department of Mathematics
  • Category Researcher / Non Clinical Researcher

Job description

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.

It will also 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

You must have a PhD (or equivalent) in either algebraic number theory or formal proof verification.

You must also meet the following criteria:

  • 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.

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 

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.


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Cambridge Job Openings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions