Postdoc position in formalization in Heidelberg

Stream: job postings

[Judith Ludwig]

I am advertising a postdoctoral position in formalization at Heidelberg University:
https://www.mathjobs.org/jobs/list/24372
If you are interested, please apply via Mathjobs. If you know someone who might be interested, please forward this information.
I am looking for someone with experience in formalizing mathematics in lean, especially results from arithmetic geometry and number theory and who wants to join the FLT project. You'd be joining an active department in a beautiful city.
For questions regarding the position feel free to email me (judith.ludwig@iwr.uni-heidelberg.de) or message me here on Zulip.