Liebe D-CONler,

unten findet ihr eine vielleicht für diesen Kreis interessante Ausschreibung für eine an der Universität Oldenburg zu besetzende W2-Professur.

Viele Grüße Markus Müller-Olm

****************************************************** Carl von Ossietzky Universität Oldenburg Oldenburg, Germany ******************************************************

In der Fakultät II – Informatik, Wirtschafts- und Rechtswissenschaften ist im Department für Informatik zum nächstmöglichen Zeitpunkt eine W2-Professur (m/w/d) für

Theorie korrekter Systeme

zu besetzen.

Gesucht wird eine in der theoretischen Informatik international hervorragend ausgewiesene Persönlichkeit, wobei fundierte Erfahrungen in einem oder beiden der folgenden Bereiche vorausgesetzt werden:

- Logik (z. B. quantitative Logik)

- Spiele (z. B. reaktive Spiele)

Zudem wird vorausgesetzt, dass die Person, die zukünftig die Stelle innehat, Anwendungen ihrer Forschung im Bereich der Verifikation (z. B. Verifikation von Systemen mit unendlichen Zustandsräumen, quantitative Verifikation) oder Synthese (z. B. Programmsynthese, Synthese reaktiver Systeme) vorweisen kann.

Für weitere Details siehe

https://uol.de/stellen?stelle=69258

Der Bewerbungsschluss ist am 31. Januar 2023.

******************************************************

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).

For more details see

https://uol.de/stellen?stelle=69259

The application deadline is 31 January 2023.

******************************************************