Research Associate in Formalization of Mathematics: Imperial College London is inviting applications for a Research Associate position in the Department of Mathematics. This role involves working closely with Professor Kevin Buzzard to formalize recent theorems in Lean, contributing to cutting-edge mathematical research published in top-tier journals.
Designation
Research Associate
Details Table
| Attribute | Details |
|---|---|
| Department | Department of Mathematics |
| Salary | £48,056 – £56,345 per annum |
| Location | South Kensington Campus – Hybrid |
| Contract Type | Full-time, Fixed Term |
| Posting End Date | 15 August 2025 |
Research Area
Formalization of mathematics using Lean, focusing on contributions to pure mathematics.
Location
South Kensington Campus, Imperial College London (Hybrid work pattern available)
Eligibility/Qualification
- Hold a Master’s degree and ideally a PhD in some area of pure mathematics.
- A strong background in pure mathematics with relevance to top generalist journals.
- Ability to develop and implement new mathematical concepts and methods.
- Strong organizational skills, with the ability to manage work independently and meet deadlines.
- Excellent verbal communication skills for collaboration with postdocs and graduate students.
Job Description
The successful candidate will:
- Collaborate with Professor Kevin Buzzard in writing Lean formalizations of contemporary theorems.
- Identify and implement new concepts, techniques, and methods in mathematical research.
- Work independently and prioritize tasks effectively in a research environment.
How to Apply
Interested candidates should submit the following documents:
- A full CV
- A 2-page research statement outlining their expertise and future research plans
- Contact details for three referees
Applications should be completed online. For inquiries, contact Prof. Kevin Buzzard at k.buzzard@imperial.ac.uk.
Last Date for Apply
15 August 2025
Join us at Imperial College London to contribute to groundbreaking research and be part of a vibrant academic community dedicated to scientific advancement and societal impact.
