Lean job in London

Stream: maths

[Kevin Buzzard]

I have got an EPSRC grant to fund a post-doc position for 18 months, which is funding to digitise the Langlands philosophy (in Lean), if anyone is interested spending January 2021 to July 2022 in London. I'll get a job ad out within the next couple of weeks hopefully.