Professorship (m/f/x) in Theory of Correct Systems

The Department of Computing Science at the School of Computing Science, Business Administration, Economics, and Law (School II) seeks applications for a

Professorship (m/f/x) in
Theory of Correct Systems
salary scale W2

starting as soon as possible. We are looking for a person with an outstanding international track record in theoretical computer science. Extensive research experience in one or both of the following areas is required:

• logic (e.g., quantitative logic)
• games (e.g., reactive games)

In addition, the candidate's research is required to have applications in verification (e.g., verification of systems with infinite state spaces, quantitative verification) or synthesis (e.g., program synthesis, synthesis of reactive systems). The candidate is required to have relevant academic teaching experience and is expected to participate in teaching Bachelor's and Master's courses in computer science in German and English. Proven experience in the acquisition of third-party-funded projects is also required. Integration into the university's core research areas is expected, particularly through contributions to the university's research center "Human-Cyber-Physical Systems: Safety, Acceptance, Social and Cultural Embeddedness". There are excellent opportunities for networking at the University of Oldenburg for basic and applied research. In addition, the associated institute OFFIS offers excellent opportunities in application-oriented research. As the University of Oldenburg and the University of Bremen are bound by a cooperation agreement, active participation in the cooperation is expected. Furthermore, candidates are required to participate actively in the university's self-administration. Prerequisites for employment are specified in section 25 of the Lower Saxony Higher Education Act (NHG). The University aims to increase its proportion of female professors and strongly encourages female scientists to apply. Equally qualified female candidates will be considered preferentially. In case of equal aptitude, applicants with disabilities will be given priority in hiring decisions. The position is suitable for part-time employment. Applications including a full curriculum vitae, certificates, a list of publications, an account of present and previous third-party funded research activities focusing on the last 5 years, a teaching and research concept, a list of courses taught and formal presentations given, as well as the completed "Profile sheet" (available for download at https://uol.de/informatik/prof-theo) are to be submitted, preferably as a consolidated PDF file, by January 31, 2023 to Carl von Ossietzky Universität Oldenburg, School II, attn: Prof. Dr. Rudolf Schröder, 26111 Oldenburg, Germany via berufungen.informatik@uol.de.