Übersicht der Stellenangebote
Die Carl Von Ossietzky Universität Oldenburg Sucht
Wissenschaftliche*r Mitarbeiter*in Informatik (Promotionsstelle)
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 (christoph.matheja@uni-oldenburg.de)
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
Datenschutz
- Datenschutzhinweise für Bewerber*innen gemäß Art. 13 DSGVO im Rahmen von Stellenausschreibungen
#J-18808-Ljbffr
Wissenschaftliche*r Mitarbeiter*in Informatik (Promotionsstelle) Arbeitgeber: Campusradio Oldenburg
Die Carl von Ossietzky Universität Oldenburg bietet als Arbeitgeber ein inspirierendes und unterstützendes Arbeitsumfeld, das auf die berufliche und persönliche Entwicklung ihrer Mitarbeiter*innen ausgerichtet ist. Mit flexiblen Arbeitszeiten, umfangreichen Weiterbildungsmöglichkeiten und einem starken Fokus auf die Vereinbarkeit von Beruf und Familie, ist die Universität ein attraktiver Ort für Fachkräfte im Bereich Veranstaltungstechnik. Zudem profitieren Sie von einer hervorragenden Infrastruktur und der Möglichkeit, Teil eines engagierten Teams zu werden, das sich auf Ihre Expertise freut.
