Wissenschaftliche*r Mitarbeiter*in

An der Fakultät II - Informatik, Wirtschaft und Recht - der Carl von Ossietzky Universität Oldenburg ist im Department für Informatik in der Abteilung Formale Methoden (Prof. Dr. Heike Wehrheim) zum nächstmöglichen Zeitpunkt eine Stelle als

Wissenschaftliche*r Mitarbeiter*in (m/w/d)
Entgeltgruppe 13 TV-L (100%)

für die Dauer von 3 Jahren zu besetzen. Die Stelle ist teilzeitgeeignet. Es besteht die Möglichkeit zur wissenschaftlichen Weiterqualifikation. Die Stelle ist Teil eines von der DFG geförderten Projekts zur „Kooperativen Verifikation“, das gemeinsam mit einer Forschergruppe in München durchgeführt wird.

Die Forschungsgruppe „Formale Methoden“ entwickelt formale Techniken für die Spezifikation und Verifikation von Softwaresystemen. Von dem erfolgreichen Bewerber/der erfolgreichen Bewerberin für diese Stelle wird erwartet, dass er/sie Forschung im Bereich der Software-Analyse betreibt, insbesondere in der Kombination verschiedener automatischer oder interaktiver Software-Verifikationsansätze.

Einstellungsvoraussetzungen sind ein am Einstellungsdatum erfolgreich abgeschlossenes wissenschaftliches Hochschulstudium (Diplom (Uni)/Master) in Informatik. Wünschenswert sind Kenntnisse in Bereichen wie Datenflussanalyse, Modellprüfung, abstrakte Interpretation oder ähnlichem. Ein Interesse an der Entwicklung von Werkzeugen wird erwartet. Von Bewerber*innen mit einer abgeschlossenen Promotion wird erwartet, dass sie über begutachtete Veröffentlichungen auf dem Gebiet der formalen Methoden verfügen. Erwartet werden weiterhin gute Englischkenntnisse in Wort und Schrift und ein starkes Interesse an Teamarbeit und Lehre.

Die Carl von Ossietzky Universität Oldenburg 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.