Zulip Chat Archive

Stream: job postings

Topic: Lean curriculum-development job at Imperial


Heather Macbeth (Aug 29 2025 at 10:56):

We're hiring for a two-year position at Imperial:
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.


Last updated: Dec 20 2025 at 21:32 UTC