Email Gateway (Oct 04 2022 at 15:28): Email Gateway (Oct 04 2022 at 15:28):From: Tobias Nipkow <nipkow@in.tum.de>
See https://www.mathjobs.org/jobs/list/20818
The cluster of excellence*Hausdorff Center for Mathematics (HCM) *at the
*University of Bonn *brings together researchers in mathematics and its
applications. In this framework the center 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
andindependence 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.
The candidates hired on both positions will become members of the HCM and will
be eligible to further scientific and financial support.
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).
If you want to know more about the financial benefits, dual career options or
family support options the HCM can offer, please, contact the managing director
Dr. Sonja Dames (sonja.dames@hcm.uni-bonn.de <mailto:sonja.dames@hcm.uni-bonn.de>).
Deadline for application is 15.11.2022. Please, apply to the hiring committee
(Hausdorff Center for Mathematics, Endenicher Allee 62, 53115 Bonn, Germany)
using our online application formwww.hcm.uni-bonn.de/IRU-FMCAP-application
<http://www.hcm.uni-bonn.de/IRU-FMCAP-application>.
smime.p7s
Last updated: Apr 24 2024 at 12:33 UTC