Postdoc position in formalization in Bonn

Stream: job postings

[Floris van Doorn]

I am looking for a postdoc to formalize analysis in Lean. The position is for 2 years, with a possible extension for 2 more years. Here is the job ad. Please contact me via Zulip DM or email if you have any questions. The application deadline is 15 December.