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.
******************************************************
Liebe D-CON-Gemeinschaft,
wie in der letzten Mail angekündigt, findet die D-CON 2023
als Workshop der FM in Lübeck statt. Unsere Seite
https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon
befindet sich leider noch im Aufbau, aber die Registrierung
steht schon bereit:
https://fm2023.isp.uni-luebeck.de/index.php/registration/
Mit 160€ fällt die Teilnahmegebühr zu Zeiten der Energieknappheit
nicht so niedrig aus, wie wir es uns gewünscht haben.
Dennoch bitten wir Euch um zahlreiche Registrierungen,
damit es nach der langen Zeit ein lebhaftes Wiedersehen gibt.
Wir wünschen Euch allen ein frohes Weihnachtsfest und
einen guten Start in ein gesundes und erfolgreiches Jahr 2023!
Kirstin und Roland
--
Prof. Dr. Roland Meyer
TU Braunschweig
Institut für Theoretische Informatik
Mühlenpfordtstr. 23, 346
38106 Braunschweig
Phone: +49 (0)531 391 9524
Fax: +49 (0)531 391 9529
Web: http://www.tcs.cs.tu-bs.de