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 support.jobs@imperial.ac.uk. We’re here to help.

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.