Wissenschaftliche*r Mitarbeiter*in

An der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften - der Carl von Ossietzky Universität Oldenburg ist im Department für Informatik in der Abteilung Formale Methoden (Prof. Dr. Heike Wehrheim) ab dem 16.11.2024 eine Stelle als

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

zunächst befristet für 3 Jahre zu besetzen. Es wird Gelegenheit zur Qualifizierung (Promotion) gegeben. Die Stelle ist teilzeitgeeignet

Die Abteilung „Formale Methoden“ beschäftigt sich mit mathematisch fundierten Methoden zur 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 Nebenläufigkeitstheorie betreibt.

Einstellungsvoraussetzung

• ist ein am Einstellungsdatum abgeschlossenes Hochschulstudium (Diplom (Uni)/Master) der Fachrichtung Informatik.

Wünschenswert

• sind vertiefte Kenntnisse im Bereich der formalen Methoden, insbesondere der Prozessalgebren und des interaktiven Beweisens.
• Bewerber*innen sollten ein starkes Interesse an der eigenen Entwicklung von theoretischen Methoden mitbringen.
• Erwartet werden weiterhin gute Englischkenntnisse in Wort und Schrift und ein starkes Interesse an Teamarbeit und Lehre.

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.