Wissenschaftliche/r Mitarbeiter/in für Informatik
Carl Von Ossietzky Universität Oldenburg
Deutschland

Am Department für Informatik der Carl von Ossietzky Universität Oldenburg ist in der theoretischen Informatik (Prof. Dr. Heike Wehrheim, Abteilung Formale Methoden) eine Stelle als

Wissenschaftliche*r Mitarbeiter*in (m/w/d)

E13 TV-L (100%)

ab dem 01.04.2022 für die Dauer von 3 Jahren zu besetzen. Die Stelle ist 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 oder Mathematik (Diplom oder Master). Wünschenswert sind vertiefte Kenntnisse im Bereich der formalen Methoden zur Spezifikation und Verifikation von Softwaresystemen, insbesondere auch der Programmanalyse. 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.

Interessierte mögen sich bitte mit Prof. Dr. Heike Wehrheim, heike.wehrheim@uol.de, in Verbindung setzen.

Bewerbungen mit den üblichen Unterlagen sind bis zum 01.02.2022 (per E-Mail, in einer PDF-Datei) an die Carl von Ossietzky Universität Oldenburg, Fakultät II, Department für Informatik, z. Hd. Marion Bramkamp ( ) zu richten.


Wenn Sie sich auf diese Stelle bewerben, erwähnen Sie bitte dass Sie sie auf Universitoxy gesehen haben.

Bewerbung

Mehr

FACEBOOK
TWITTER
LINKEDIN

Hochschule Augsburg Stellenausschreibungen

Hochschule Flensburg Wissenschaftliche Stellen

Hochschule Fulda Offene Stellen

Hochschule Osnabrück Stellenausschreibungen

Ludwig Maximilians Universität München Akademische Stellen

Universität Augsburg Wissenschaftliche Stellen

Universität Bayreuth Akademische Stellen

Universität Duisburg Essen Offene Stellen

Universität Erfurt Wissenschaftliche Stellen

Universität Hamburg Stellenangebote fur Professuren

Universität Leipzig Wissenschaftliche Stellen

Universität Münster Wissenschaftliche Stellen

Universität Tübingen Stellenausschreibungen

Universität Zürich Offene Stellen

Universität zu Köln Stellenausschreibungen