Curriculum Development Teaching Fellow (Formalisation)

Location: South Kensington Campus

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 automated 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 h.macbeth@imperial.ac.uk , Prof Kevin Buzzard k.buzzard@imperial.ac.uk , or the principal investigator for the project, Dr Chris Hallsworth c.hallsworth@imperial.ac.uk.

Advert information