Bonn, DE

Stream: Geographic locality

[Anton Lorenzen]

Peter Koepke, Adrian De Lon and myself are here.

[Pit Sinning]

I currently study for my math b.sc in Bonn. I'm new to computational theorem proving/lean, but find the whole idea very intriguing.

[Floris van Doorn]

I will move to Bonn and join the Mathematical Institute at the University of Bonn on a (5 year) W2 professorship, starting October 1st. I have just officially accepted the offer a few minutes ago.
The subject of the professorship is specifically on formal mathematics and computer-assisted theorem proving, and I will also immediately start teaching a course on the formalization of mathematics in Lean this fall.

[Floris van Doorn]

I will be able to hire a post-doc almost right away. If you are looking for a post-doc position starting anytime in 2024 (or earlier - though that may be difficult), are willing to move to Bonn, and have plenty of Lean experience, please send me a short message, so that I know you're interested. I will post a more official job advertisement at a later point.