Postdoc position on Formalized Mathematics in Bonn

The application deadline for this postdoc has passed, and this page is left here only for informational purposes.

The University of Bonn looks forward to filling a postdoc position in the framework of the newly founded Interdisciplinary Research Unit on Formalized Mathematics and Computer-Assisted Proof within the Cluster of Excellence Hausdorff Center for Mathematics. The postdoc will be hosted at the Mathematical Institute and led by Floris van Doorn.

The scope of the position is the formalization of mathematics and the development of automated reasoning tools to aid in formalization. More specifically, the applicant will help in the formalization of cutting-edge analysis research and develop Lean’s mathematical library in the direction of analysis. There is also room to work in other areas of mathematics.

The initial appointment will be for two (2) years with a possible two (2) year reappointment. Expected starting date is no later than October 2024.


What we offer:

Diversity/inclusion/gender statement

The University Bonn is an equal opportunities employer and places particular emphasis on fostering career opportunities for women. Qualified women are therefore strongly encouraged to apply as they are underrepresented in the field. The university has committed itself to being a family-friendly institution and supports their employees in balancing work and family life. The mission of the University is to employ a greater number of severely disabled persons. Applications from severely disabled persons with equivalent qualifications will be given preference.

Additional information

Please contact Floris van Doorn ( if you have any questions about this position or the application procedure.


To apply, please send your application to with the following information

The application deadline is 15 december 2023.