|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
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.
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
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: www.imperial.ac.uk/jobs and search the ref number: NAT00701
For any specific queries regarding the post please contact Professor Kevin Buzzard, firstname.lastname@example.org
If you experience any technical issues when applying online, please email email@example.com
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.
Research Associate In Mathematics, Imperial College London, United Kingdom, about 12 hours ago
Job description Job summary Applications are invited for the position of Research Associate in the Department of Mathematics at Imperial College London. The position is funded by Richard Thomas’ R...
Research Assistant , Imperial College London ;, United Kingdom, 7 days ago
Salary: £35,477 - £38,566 per annum Location: St Mary’s Campus (located in Paddington) Job summary We are seeking a microbiological Research Assistant to work on antimicrobial resistance in the ma...
Research Associate , Imperial College London ;, United Kingdom, 20 days ago
Job summary Applications are invited for a Research Associate position in the Centre for Plasmonics and Metamaterials in the Department of Mathematics at Imperial College London. The position is f...
Research Fellow In Natural Language Processing , Imperial College London ;, United Kingdom, 11 days ago
Salary: £45,615- £53,988 Closing date: 2nd August 2020 Job Summary Are you an excellent data scientist with a clear research vision looking to secure a personal fellowship and establish your own ...
Research Assistant / Associate In High Fidelity Simulations, Imperial College London, United Kingdom, about 12 hours ago
Job description Job summary The Department of Aeronautics is seeking a Research Assistant / Associate to conduct work in the area of High-Fidelity Simulations. The post is funded by the Commission...
Research Assistant/Associate In High Fidelity Simulations , Imperial College London ;, United Kingdom, about 16 hours ago
Job Summary The Department of Aeronautics is seeking a Research Assistant / Associate to conduct work in the area of High-Fidelity Simulations. The post is funded by the Commission of the European...