2-year postdoc position at the math department in Bonn

Stream: job postings

[Floris van Doorn]

This is a department-wide call for postdocs for the mathematics department at the university of Bonn:
https://www.mathjobs.org/jobs/list/26518
Candidates that are interested to work on formalization are encouraged to apply and list me as a potential mentor (I'm in research area IRU2: Formalized mathematics and computer-assisted proofs).
Feel free to reach out if you have any questions.