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