University of Bonn, Hausdorff Center for Mathematics

1. [CHAIR] Theoretical Mathematics, Hausdorff Chair (full professorship with tenure) (deadline 2025/03/15 11:59PM)
2. [HCMPD] Mathematics, Hausdorff Postdoc Positions (deadline 2025/05/24 11:59PM*)
3. [IRU] Formal Mathematics with a focus on Automated Theorem Proving, W2 Professorship in Formal Mathematics (deadline 2025/03/09 11:59PM)

(3 positions listed)