PhD and postdoc positions in Bonn

Stream: job postings

[Floris van Doorn]

The Hausdorff Center for Mathematics at the University of Bonn is looking for multiple PhD positions and postdocs, to start between April and October 2026.

• The PhD positions are for 3 years, and the application deadline is the 15th of November. More information here: https://www.mathjobs.org/jobs/list/27038
• The postdocs are for 2+1 years, and the application deadline is the 31st of October. More information here: https://www.mathjobs.org/jobs/list/27036

These are department-wide positions, and when applying you should state that you want to be mentored by me (in the research area IRU2: Formalized mathematics and computer-assisted proofs).
If you have any questions, the website of the Hausdorff School has more information for PhD students and postdocs: https://www.mathematics.uni-bonn.de/hsm-school . Of course, feel free to reach out to me with any questions.

[Floris van Doorn]

Reminder about the positions above! If you were considering to apply, but haven't yet, please do apply!

There is also an update: the formalization group (led by me) can hire multiple people to join our group. Unfortunately, I cannot share the precise details yet. This is in addition to the department-wide positions. When applying, you're automatically applying to both options.
Note: for PhD students there will be another application round in March--April, which would still allow you to start in Fall 2026 (this option likely doesn't exist for postdocs).