5-year CS professorship position in Bonn

Stream: job postings

[Floris van Doorn]

This job add was posted today: https://www.mathjobs.org/jobs/HCM/IRU
The goal is to find an excellent candidate that will be member of the computer science department in Bonn, and will together with my group form the interdisciplinary research unit of formal mathematics in Bonn.
The full text of the job ad is below. Please contact me if you have any questions.

---

The cluster of excellence Hausdorff Center for Mathematics (HCM) at the University of Bonn brings together researchers in mathematics and its applications. Together with the Department of Computer Science, the center invites applications for a
W2 Professorship in Formal Mathematics with a focus on Automated Theorem Proving

This is a temporary W2-Professorship for a period of five years.

We are looking for promising early-career researchers holding a doctoral degree, who are developing their own research agenda and who have already demonstrated scientific excellence and independence by publications in the field of automated theorem proving. We seek candidates with international research experience at the interface between mathematics and computer science. The candidate will have a reduced teaching load but is expected to contribute to our teaching programs. Very good didactic skills are required and teaching experience will be a plus. German language skills are not required. The candidate hired will become member of the HCM and the Department of Computer Science.

The University of Bonn actively supports diversity and equal opportunities. The University of Bonn has been certified as a family-friendly university and offers a dual career-service. Its aim is to increase the proportion of women in those fields in which women are underrepresented and to place a special focus on promoting their careers. Therefore, the university specifically requests applications from suitably qualified women. Applications will be handled in accordance with the Equal Opportunities Act of North Rhine-Westphalia. Applications from suitably qualified people with severe disabilities that have already been verified or from people with an equivalent status will be particularly welcomed.

The general conditions of employment are according to § 36 of the Higher Education Act of North Rhine-Westphalia (Hochschulgesetz des Landes Nordrhein-Westfalen).

For information about the financial benefits, dual career options or family support options the HCM can offer, please contact the managing director Dr. Magdalena Balcerak Jackson (magdalena.balcerakjackson@hcm.uni-bonn.de).

Applications are requested by March 9, 2025, through the application web portal of the University of Bonn (https://berufungsportal.uni-bonn.de).

[Floris van Doorn]

Due to a low number of applications, we have extended the application deadline until April 23rd (even though we've taken down the Mathjobs ad).
If you still want to apply, go to the following link and create an account:
https://berufungsportal.uni-bonn.de/applicationDetail.do?action=edit&actionCat=create&applicationType=1&procedureId=194

[Matthew Ballard]

FYI: mathjobs has completely fallen over