Job Description

Vergütung

E13 TV-L

Stellenumfang

100% (teilzeitgeeignet)

Einrichtung

Abteilung Formale Methoden (Department für Informatik, Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften)

Ort

Oldenburg (Oldb)

Bewerbungsfrist

01.11.2025

Beschäftigungsbeginn

zum nächstmöglichen Zeitpunkt

Befristet

bis zum 31.03.2028


Über uns
Die Arbeitsgruppe Formale Methoden entwickelt Techniken zur Spezifikation und Verifikation von Softwaresystemen. Dabei werden sowohl theoretische Konzepte entwickelt als auch praktisch in effizienten Implementierungen umgesetzt. Die hier ausgeschriebene Position wird von der Deutschen Forschungsgemeinschaft finanziert und soll an Verfahren der kooperativen Software-Verifikation arbeiten. Das Projekt wird gemeinsam mit einer Forschungsgruppe der LMU München durchgeführt.
Ihre Aufgaben
konzeptuelle Entwicklung von Methoden zur Kooperation von Verifikationswerkzeugen bzw. zur Kooperation von Werkzeugen mit Large Language Models Korrektheitsbeweise für die entwickelten Verfahren effiziente Implementierung der Verfahren und ausführliche Evaluierung

Ihr Profil

Erforderlich ist / Einstellungsvoraussetzungen

ein abgeschlossenes wissenschaftliches Hochschulstudium (Master, Diplom (Uni)) im Bereich Informatik Promotion im Bereich Informatik begutachtete Veröffentlichungen im Gebiet der Formalen Methoden sehr gute Programmierkenntnisse gute mündliche wie schriftliche Englischkenntnisse

Erwünscht sind / Von Vorteil sind

Kenntnisse automatischer Verifikationsverfahren und -werkzeuge Praktische Erfahrung in der Anwendung von LLMs

Unser Anspruch
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.
Kontakt
Fragen zur Stelle beantwortet Ihnen gerne Prof. Dr. Heike Wehrheim, heike.wehrheim@uni-oldenburg.de



Bitte senden Sie bis zum 01.11.2025 Ihre Bewerbung per E-Mail an

marion.bramkamp@uni-oldenburg.de

Bewerbungen mit aussagekräftigem Lebenslauf, Motivationsschreiben und Kopien der wichtigsten Zeugnisse bitte mit dem Stichwort

„Coop“

in einem einzigen PDF-Dokument.


Reisekosten, die im Rahmen der Vorstellunggespräche entstehen, können leider nicht erstattet werden.
Vorteile an der Universität Oldenburg

30 Tage Urlaub

Sichere Vergütung nach Tarif

Betriebliche Altersvorsorge

Weiterbildungsmöglichkeiten

Flexible Arbeitszeit

Gesundheitsmanagement

Mobiles Arbeiten

Vereinbarkeit von Beruf und Familie

Unterstützung bei der Kinderbetreuung

Hochschulsport