Stream: Announcements

Topic: Job ad: Lean curriculum-development fellow at Imperial

Heather Macbeth (Aug 29 2025 at 14:11):

We're hiring for a two-year position at Imperial College London:
Curriculum Development Teaching Fellow Formalisation.

The job will involve integrating Lean across Imperial's undergraduate mathematics course. For example, writing Lean-based lecture notes and exercises, writing tactics/automation to improve the educational experience in Lean, and teaching pilot courses.

Deadline is 19 September. We would be very happy to consider candidates with experience in Isabelle.

Last updated: Sep 13 2025 at 12:36 UTC