Wissenschaftlicher Mitarbeiterin Informatik (Promotionsstelle)

Carl von Ossietzky Universität Oldenburg -
Oldenburg

Jetzt bewerben

Details zur Stelle

Vollzeit | Teilzeit möglich
vor 1 Tag

Leistungen

Betriebliche Altersvorsorge
Weiterbildungsprogramme
Kinderbetreuung

Qualifikationen

Doktorat
Informatik
Englisch
Diplom

Vollständige Stellenbeschreibung

Vergütung

E13 TV-L

Stellenumfang

100% (teilzeitgeeignet)

Einrichtung

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

Dienstort

Oldenburg (Oldb)

Bewerbungsfrist

01.10.2026

Beschäftigungsbeginn

01.12.2026

Befristet

bis zum 30.11.2029

Über uns

Die Abteilung Theorie korrekter Systeme entwickelt formale Methoden und Werkzeuge, um das Vertrauen in die Korrektheit von Softwaresystemen zu stärken. Unsere Forschung konzentriert sich auf quantitative Methoden an der Grenze zwischen deduktiver Verifikation und probabilistischem Model-Checking.

Ihre Aufgaben

Bearbeitung herausfordernder Forschungsfragen an der Schnittstelle von deduktiver Verifikation, Programmiersprachen und probabilistischem Model-Checking
Publikation wissenschaftlicher Arbeiten im genannten Bereich auf führenden Konferenzen
Mitbetreuung von Studierenden in den oben genannten Forschungsbereichen
Unterstützung der Lehre in der theoretischen Informatik im Umfang von 4 Semesterstunden

Ihr Profil

Erforderlich ist / Einstellungsvoraussetzungen

Ein abgeschlossenes wissenschaftliches Hochschulstudium, Master oder Diplom, der Informatik; weitere vergleichbare Fachrichtungen werden auch berücksichtigt.
Das Thema formale Methoden (breit interpretiert) muss mit mindestens 5 Kreditpunkten Bestandteil Ihres Studiums gewesen sein.
Überzeugendes Motivationsschreiben (max. 1 Seite) mit einem klaren Bezug zu Programmverifikation oder formalen Methoden.
Promotionswille
Gute Englischkenntnisse in Wort und Schrift

Erwünscht sind / Von Vorteil sind

Erfahrung mit interaktiven Theorembeweisern
Interesse an der Entwicklung von automatisierten Verifikationswerkzeugen
Lehrerfahrung in theoretischer Informatik

Wir bieten

Möglichkeit, an spannenden Forschungsthemen zu arbeiten
Unterstützung und Begleitung im Rahmen Ihrer Beschäftigung, insb. bzgl. Ihrer Forschung
Aussicht auf die Veröffentlichung erarbeiteter Forschungsergebnisse in und aktive Teilnahme an führenden Konferenzen zu formalen Methoden und Verifikation (z.B. CAV, POPL, TACAS, OOPSLA)
Junges, freundliches und hoch motiviertes Team

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.

Weitere Informationen

Es besteht die Gelegenheit zur eigenen wissenschaftlichen Weiterqualifikation (Promotion).

Beschäftigungsbeginn ist der 01.12.2026 oder der nächstmögliche Zeitpunkt.

Kontakt

Weitere Auskünfte erteilt Ihnen gerne Prof. Dr. Christoph Matheja ( [email protected])

Jetzt bewerben

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

[email protected]

Bewerbungen mit den üblichen Unterlagen (Anschreiben, Lebenslauf, Zeugnisse) bitte in einem einzigen PDF-Dokument.

Reisekosten, die im Rahmen der Vorstellungsgesprä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

Zertifikat Fahrradfreundlicher Arbeitgeber

Corporate Benefits

Jetzt bewerben

Über uns

Ihre Aufgaben

Ihr Profil

Wir bieten

Unser Anspruch

Weitere Informationen

Kontakt

Jetzt bewerben

Vorteile an der Universität Oldenburg

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt