Search suggestions:

part time
full time
retail
housekeeping
warehouse operative
forklift driver
work from home
data entry
hr
it
cleaner
warehouse
receptionist
London
Scotland
Manchester
Wales
City of London
England
Buckinghamshire
Suffolk
Bournemouth, Christchurch and Poole
North Yorkshire
York
West Sussex
Apply

Research Associate in Formalization of Mathematics

Imperial College London
£48,056 - £56,345 a year
London, England
Full time
3 days ago

Job number

NAT01994

Faculties

Faculty of Natural Sciences

Departments

Department of Mathematics

Salary or Salary range

£48,056 - £56,345 per annum

Location/campus

South Kensington Campus - Hybrid

Contract type work pattern

Full time - Fixed term

Posting End Date
8 Aug 2025

About the role

Applications are invited for a Research Associate position in the Department of Mathematics at Imperial College London.


What you would be doing

The successful candidates will work closely with Professor Kevin Buzzard on a project to write Lean formalizations of recent theorems in top generalist journals such as the Annals of Mathematics.

The position is well-suited for candidates with expertise both in Lean and in some aspect of pure mathematics which is well-represented in the top generalist journals.

What we are looking for

The essential requirements for this post are as follows:

  • Hold a Masters degree and ideally a PhD in some area of pure mathematics
  • A broad and strong background in some aspect of pure mathematics
  • Ability to identify, develop, and implement new concepts, techniques, and methods
  • Ability to organise own work independently
  • Ability to prioritise own work in response to deadlines
  • Ability to work with others, especially postdocs and graduate students
  • Excellent verbal communication skills including the ability to deal with a wide range of people, and to communicate complex information clearly

What we can offer you

  • The opportunity to continue your career at a world-leading institution and be part of our mission to continue science for humanity.
  • Grow your career: Gain access to Imperial’s sector-leading dedicated career support for researchers as well as opportunities for promotion and progression
  • Sector-leading salary and remuneration package (including 39 days off a year and generous pension schemes).

Further information

The position is fixed term for 24 months. The expected start date is 1 October 2025.

  • Candidates who have not yet been officially awarded their PhD will be appointed as Research Assistant

In addition to completing the online application, candidates should attach:

  • A full CV,
  • A 2-page research statement describing why the candidate’s expertise is relevant to this position and future research plans; and
  • The details of three referees.

For any specific queries regarding the post please Prof Kevin Buzzard (k.buzzard @imperial.ac.uk).

Available documents

Attached documents are available under links. Clicking a document link will initialize its download.


Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities mentioned above.

We reserve the right to close the advert prior to the closing date stated should we receive a high volume of applications. It is therefore advisable that you submit your application as early as possible to avoid disappointment.

If you encounter any technical issues while applying online, please don't hesitate to email us at [email protected]. We're here to help.

About Imperial

Welcome to Imperial, a global top ten university where scientific imagination leads to world-changing impact.

Join us and be part of something bigger. From global health to climate change, AI to business leadership, here at Imperial we navigate some of the world’s toughest challenges. Whatever your role, your contribution will have a lasting impact.

As a member of our vibrant community of 22,000 students and 8,000 staff, you’ll collaborate with passionate minds across nine London campuses and a global network.

This is your chance to help shape the future. We hope you’ll join us at Imperial College London.

Our Culture

We work towards equality of opportunity, to eliminating discrimination, and to creating an inclusive working environment for all. We encourage applications from all backgrounds, communities and industries, and are committed to employing a team that has diverse skills, experiences and abilities. You can read more about our commitment on our webpages.

Our values are at the root of everything we do and everyone in our community is expected to demonstrate respect, collaboration, excellence, integrity, and innovation.

Save Apply
Report job
Other Job Recommendations:

Research Assistant/Associate (Fixed Term)

University of Cambridge
Cambridge, England
£32,546 - £45,413 a year
The Department of Genetics is seeking to appoint a short-term postdoctoral Research Assistant/Associate to start as soon as...
2 days ago

Research Associate (Fixed Term)

University of Cambridge
Cambridge, England
£34,132 - £45,413 a year
Applications are invited for an 18 month postdoctoral research associate position in the Barker lab (with possible extension...
4 days ago

Research Associate - Moyroud Group (Fixed Term)

University of Cambridge
Cambridge, England
£32,546 - £45,413 a year
Applications are invited for a Postdoctoral Research Associate position in the group of Dr Edwige Moyroud at the Sainsbury...
2 days ago

Research Associate in Behavioural Insights (Psychology, Economics and Policy)

University of Ulster
Belfast, Northern Ireland
£32,564 - £38,269 a year
Role: Research Associate in Behavioural Insights (Psychology, Economics and Policy) EPIC Futures NI is a £4.8million Local Policy...
3 days ago

LAS Senior Associate (Solutions Hub)

Spencer Stuart
City of London, England
£58,990 - £74,695 a year
  • Contribute to qualifications packages by providing market...
  • In conjunction with the Consultant, take formal references...
2 days ago

Postdoctoral Research Associate in genome stability and immunity responses

University of Oxford
Oxford, England
£38,674 - £46,913 a year
This is a re-advertisement of vacancy 180153. Previous applicants need not apply. A postdoctoral position is available in Prof....
1 week ago

Lecturer in Mathematics

University of Hull
Kingston upon Hull, England
£39,355 - £45,413 a year
At University of Hull, we know diversity fosters creativity and innovation, and we want our community to represent the diversity...
1 week ago

Clinical Research Associate

Liverpool School of Tropical Medicine
Liverpool, England
£39,355 - £45,413 a year
  • Investigate the use of infrared and 3D imaging to grade...
  • Conduct literature review on compartment syndrome in the...
2 days ago

iOS Researcher (Remote)

Cellebrite
City of London, England
  • Research on territories with little-explored vulnerability
  • Work on the production of world-unique capabilities to...
3 weeks ago