Search suggestions:

part time
full time
retail
warehouse operative
kitchen assistant
warehouse
receptionist
hgv class 1 driver
teaching assistant
class 2 driver
marketing
work from home
cleaner
London
Manchester
Scotland
City of London
Wales
England
Belfast
Somerset
North Yorkshire
Buckinghamshire
Derby
Northern Ireland

Research Associate in Formalization of Mathematics

Imperial College London
£48,056 - £56,345 a year
London, England
Full time
3 weeks 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.

Apply
Save
Report job
Other Job Recommendations:

Postdoctoral Research Associate (Fixed Term)

University of Cambridge
Cambridge, England
£37,174 - £45,413 a year
The faculty of Economics is looking to hire a Postdoctoral Research Associate starting August 2025, although the starting date is...
2 weeks ago

Research Associate (Part Time, Fixed Term)

University of Cambridge
Cambridge, England
£34,132 - £45,413 a year
Applications are invited for a post doctoral research associate to work with Dr Timothy Rittman on the implementation of machine...
2 weeks ago

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...
3 weeks 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...
3 weeks 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...
3 weeks 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 weeks ago

Research Associate

University of Strathclyde
Glasgow, Scotland
£37,694 - £39,906 a year
The main purpose is to develop and apply a spectral matching algorithm to improve retrieval of water quality parameters from ocean...
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...
3 weeks ago

Research Associate in Stem Cell Biology

Imperial College London
London, England
£48,056 - £49,895 a year
  • Reporting findings to research sponsors, presenting at...
  • Providing guidance to staff and students involved in the...
2 weeks ago

Home Care Assistant

Right At Home Eastbourne & Bexhill
Wealden, England
£14 - £17 an hour
  • Hourly pay £14.00 - £17.00 (Bank Holidays £21.00)
  • Paid mileage 45p per mile
  • Free Blue Light Card...
23 hours ago