Navigation

Skiplinks

« Zurück zur Übersicht


Am Department für Informatik der Carl von Ossietzky Universität Oldenburg ist in der Abteilung "Entwicklung korrekter Systeme" (Prof. Dr. Ernst-Rüdiger Olderog) zum nächstmöglichen Termin eine Stelle als

wissenschaftliche Mitarbeiterin / wissenschaftlicher Mitarbeiter (m/w/d)
(Entgeltgruppe 13 TV-L)

befristet für eine Dauer von zunächst drei Jahren zu besetzen.
Die Stelle ist teilzeitgeeignet.

Die Aufgabe der Stelleninhaberin / des Stelleninhabers liegt in der Mitarbeit in der Lehre und Forschung der Theoretischen Informatik der Abteilung "Entwicklung korrekter Systeme" (siehe auch https://uol.de/informatik/csd). In der Forschung soll auf dem Gebiet der Spezifikation und Verifikation sicherheitskritischer Systeme gearbeitet werden. Die Abteilung ist forschungsmäßig an dem DFG-Graduiertenkolleg SCARE (System Correctness under Adverse Conditions) und dem DFG-Projekt Petri Games mit der Universität des Saarlandes beteiligt.

Einstellungsvoraussetzungen sind ein abgeschlossenes wissenschaftliches Hochschul­studium der Informatik oder Mathematik (Master), Teamfähigkeit, gute Englischkenntnisse und hervor­ragende Deutschkenntnisse in Wort und Schrift. Erwartet werden Freude und Erfahrung in der Lehre, vertiefte Kenntnisse in Logik, Semantik, Spezifikation und Verifikation von reaktiven Systemen sowie gute mathematische Kenntnisse. Ferner wird ein Interesse am Einsatz von Werkzeugen zur automatischen Verifikation reaktiver und paralleler Systeme erwartet.

Es wird Gelegenheit zur Promotion gegeben.

Die Carl von Ossietzky Universität strebt an, den Frauenanteil im Wissenschaftsbereich zu erhöhen. Deshalb werden Frauen nachdrücklich aufgefordert, sich zu bewerben. Gem. § 21 Abs. 3 NHG sollen Bewerberinnen bei gleichwertiger Qualifikation bevorzugt berücksichtigt werden.
Schwerbehinderte Menschen werden bei gleicher Eignung bevorzugt eingestellt.

Bewerbungen mit den üblichen Unterlagen (Motivationsschreiben, Lebenslauf, Studien­ergebnisse, Zeugnisse) richten Sie bis zum 25.09.2019 an die

Carl von Ossietzky Universität Oldenburg
Fakultät II, Department für Informatik
z. Hd. Prof. Dr. Ernst-Rüdiger Olderog
26111 Oldenburg

oder als PDF-Dokument per E-Mail an oldek2ltmrog@informkjdrpatik.u8d1ni-o2wdsldenbur91jg.2vmade5tfg. Für eventuelle Rückfragen können Interessierte auch diese E-Mail-Adresse nutzen.

Ausdrucken

Christuci5qina cespOswaldpr (chriclarstina.kseoswalrnmd@uoltfn3k.dexbfj) (Stand: 19.09.2019)