Lectureship in pure mathematics at Imperial

Stream: job postings

[Kevin Buzzard]

https://www.imperial.ac.uk/jobs/search-jobs/description/index.php?jobId=21166

This is not specifically a formalisation job, so it's not even clear that anyone interested in formalisation will even get shortlisted, but no harm in trying!

[Kevin Buzzard]

I was just approached by the head of pure mathematics and explicitly told that Lean appointments were definitely not out of the question! So please consider applying :-) Closing date 7th Nov.