Stellenausschreibung

Jetzt Teil der Universität werden / Become part of us

Location

Campus Duisburg

Application area

Faculty of Computer Science

Professorship for Verification of Complex Systems
W3 salary band as defined in the North-Rhine-Westphalian regulations for the W salary range (Landesbesoldungsordnung W)

Start of employment

as soon as possible

Duration of employment

permanent

Working time

41 hours (100 %)

Your main tasks

We are seeking an outstanding individual who will represent the theoretical foundations and applications of verification techniques in research and teaching. The successful candidate will be distinguished by excellent, internationally recognized work in the development and application of automated proof methods for the correctness and reliability of complex systems. Their expertise and focus areas lie in one or more of the following fields:

  • model checking
  • abstract interpretation
  • solvers and theorem provers
  • verification with or for machine learning
  • model-based analysis and synthesis of software or hardware

The professorship is affiliated with the newly established Faculty of Computer Science, Department of Core Informatics. The holder of this position will actively participate in establishing and maintaining connections both within the department and with other departments of the faculty through interdisciplinary research approaches. They will be involved in teaching by offering basic and advanced classes in the faculty’s bachelor’s and master’s degree programmes, primarily in Applied Computer Science, Software Engineering, and Cyber Physical Systems. In addition to lectures and seminars, the teaching to be provided also includes practice-oriented formats such as student projects.

We expect the successful candidate to have published papers in leading peer-reviewed venues and have experience in conducting projects for which they have acquired external funding from competitive schemes themself, preferably projects funded by the German Research Foundation (DFG) or equivalent, as appropriate to the advertised position.

The University of Duisburg-Essen places particular emphasis on teaching quality. Therefore, candidates must outline their didactic concepts, also taking the profile of the University of Duisburg-Essen into consideration.

Your profile

Criteria for appointment are based on Section 36 of the NRW Higher Education Act (Hochschulgesetz NRW; HG). According to these provisions, candidates must possess a university degree and a particular aptitude for research work, which can generally be demonstrated by outstanding results in doctoral studies in a relevant field.

Application deadline

2024-11-07

Code number

41031- 24

Application

Unfortunately, the application deadline for this position has passed.

Information about the job

Please find further information on the position, its affiliations within the University of Duisburg-Essen and the Faculty of Computer Science at: https://www.uni-due.de/informatik/

Post-Views: 1236
Open minded
We are a young, innovative university located in the heart of the Ruhr metropolis. We pride ourselves in outstanding research and teaching, think in terms of opportunities rather than limitations and develop ideas with a view to the future. Diversity is an integral part of our culture as we promote potential and are committed to upholding genuine equity in education.
Learn more
University of Duisburg-Essen pursues the goal of promoting the diversity of its members.
(www.uni-due.de/diversity/en)
In accordance with the State Equal Opportunities Act, women with the same qualifications are given referential considered.
Applications from suitable disabled persons and persons of equal status within the meaning of § 2 para. 3 SGB IX are desired.
By applying for one of the advertised positions, you expressly agree to the requirements in accordance with the General Data Protection Regulation and to being contacted by mail. Further information on data protection can be found here.
Back
www.uni-due.de/karriere