Job number
NAT02019
Faculties
Faculty of Natural Sciences
Departments
Department of Mathematics
Salary or Salary range
£55,144 - £57,472 per annum
Location/campus
South Kensington Campus - Hybrid
Contract type work pattern
Full time - Fixed term
Posting End Date
29 Sep 2025
About the role
The Department of Mathematics has a popular undergraduate programme with around 900 enrolled students. Computation is a strength of our offering, and we have successfully piloted the use of interactive theorem provers to improve students' understanding of the structure of rigorous arguments from year 1 of the programme.
Supported by a £500k grant to redevelop our mathematics programmes, the department is seeking to recruit a Teaching Fellow with expertise in interactive theorem proving. The main duties of the post will be to redevelop the foundational mathematics curriculum by embedding the use of interactive theorem proving technology, and to teach related undergraduate modules. The postholder can expect to be involved in all aspects of the department's teaching, e.g. as a personal tutor and project supervisor, and by contributing to the efficient running of teaching.
What you would be doing
This role has a substantial curriculum development component. You will work closely with the project team and with students as partners to develop a novel foundational mathematics curriculum, using interactive theorem-proving technology to teach students to write rigorous proofs. You will carry out appropriate scholarly activities to develop your disciplinary pedagogic knowledge, including the evaluation of the redeveloped programmes.
You will teach within both established and new programmes of study, taking responsibility for individual modules by delivering lectures and running problem classes, piloting newly developed resources as appropriate. You will also have pastoral responsibility for a small number of undergraduate tutees and supervise student projects.
What we are looking for
* A PhD (or equivalent) in Mathematics or a closely related discipline.
* Willingness to work towards professional recognition and accreditation, e.g. Fellowship of the Higher Education Academy (HEA) if not already held.
* Familiarity with the Lean programming language.
* Prior involvement in university-level Mathematics teaching
* Experience of curriculum design.
What we can offer you
* The opportunity to continue your career at a world-leading institution and be part of our mission to use science for humanity by sharing your passion and inspiring the next generation.
* Gain access to Imperial's top-tier Educational Development Unit, which offers a wide range of tailored educational development services to meet your needs.
* Join a diverse and innovative learning and teaching community at an institution that values research-led educational provision.
* Sector-leading salary and remuneration package (including 41 days off a year and generous pension schemes).
* Be part of a diverse, inclusive and collaborative work culture with various staff networks and resources to support your personal and professional wellbeing.
Further information
This is a 2 year, fixed-term contract supported by a grant to the Department of Mathematics.
For an informal discussion about the role please contact Dr Heather MacBeth, Prof Kevin Buzzard, or the principal investigator for the project, Dr Chris Hallsworth
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 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.