Positions at Bonn University

Stream: job postings

[Riccardo Brasca]

I've just received a message concerning the opening of two W2 Professor positions in the
field formal mathematics and computer assisted proving at the Hausdorff Center for Mathematics at Bonn University. See the attached file if you're interested.Ausschreibung_IRUFormalMathCompAssProv.pdf

[Floris van Doorn]

See https://leanprover.zulipchat.com/#narrow/stream/284757-job-postings/topic/Bonn.3A.20two.20professorships.20in.20formal.20mathematics.20etc

[Riccardo Brasca]

I didn't see it, thanks!