Two W2 Professorship (one tenured, one 5y) in computer-assisted theorem proving, Bonn (Germany)

The Hausdorff Center for Mathematics (HCM) at the University of Bonn is looking forward to filling in the area of theoretical mathematics a permanent W2-Professorship and a temporary W2-Professorship for five years in the field of formal mathematics and computer assisted theorem proving.

Concerning the temporary W2-Professorship for five years, we are looking for young promising 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 formal mathematics and computer assisted theorem proving. The candidates are expected to contribute to our teaching program in all phases. German language skills are not required. We seek candidates with an interdisciplinary profile and international research experience in the rapidly developing field of computer supported formalization of mathematics and interactive as well as automated theorem proving at the interface between theoretical mathematics and computer science.

Concerning the permanent W2-Professorship, we in addition expect that candidates have an already established international research profile characterized by an outstanding scientific qualification and significant experience in advancing the field of formal mathematics and computer assisted theorem proving.