Stellenangebote

« Zurück zur Übersicht


Am Department für Informatik der Carl von Ossietzky Universität Oldenburg sind in der theoretischen Informatik (Prof. Dr. Heike Wehrheim, Abteilung Formale Methoden) zwei Stellen für

wissenschaftliche Mitarbeiter*innen (m/w/d)

E13 TV-L (100%)

ab dem 01.04.2021 für die Dauer von 3 Jahren zu besetzen. Die Stellen sind auch teilzeitgeeignet. Es besteht die Möglichkeit zur Promotion.

Die Abteilung „Formale Methoden“ beschäftigt sich mit mathematisch fundierten Methoden zur Spezifikation und Verifikation von Softwaresystemen. Dabei geht es sowohl um die theoretische Entwicklung von Semantiken und Verifikationsansätzen als auch um deren praktische Umsetzung in Werkzeugen.

Einstellungsvoraussetzung ist ein überdurchschnittlich abgeschlossenes Hochschulstudium der Fachrichtung Informatik Diplom (Uni) oder Master. Wünschenswert sind vertiefte Kenntnisse im Bereich der formalen Methoden zur Spezifikation und Verifikation von Softwaresystemen, insbesondere auch der Programmanalyse. Da die Abteilung sowohl Methoden des maschinellen Lernens einsetzt als auch diese selber ein Analysegegenstand sind, sind Kenntnisse des maschinellen Lernens von Vorteil. Bewerber(innen) sollten entweder ein starkes Interesse an der eigenen Entwicklung von theoretischen Methoden oder große Freude an einer effizienten, praktischen Umsetzung von theoretischen Methoden mitbringen, idealerweise beides.

Die Fähigkeit zum selbständigen Arbeiten im Team sowie Interesse und Freude am gemeinsamen Arbeiten mit Studierenden wird erwartet.

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.

Interessenten mögen sich bitte mit Prof. Dr. Heike Wehrheim, , in Verbindung setzen.

Bewerbungen mit den üblichen Unterlagen sind bis zum 06.02.2021 an die Carl von Ossietzky Universität Oldenburg, Fakultät II, Department für Informatik, z. Hd. Marion Bramkamp () zu richten. 

Ausdrucken

(Stand: 26.01.2021)