Back to search
Campusradio Oldenburg Linkedin · Posted 1mo ago

Wissenschaftliche*r Mitarbeiter*in Informatik (Promotionsstelle)

Germany

Linkedin
Continue to application Add your email once, then Caio opens the original posting.

Indexed description

Navigation

  • UOL
    • → ÜbersichtOverview
    • Universität
    • Studium
    • Forschung
    • Transfer
    • International
    • Weiterbildung
  • Universität
    • → ÜbersichtOverview
    • Im Profil
    • Aktuelles
    • Leitung & Organisation
    • Fakultäten
    • Einrichtungen (A-Z)
    • Stellenangebote
    • Kontakt / Anfahrt / Lageplan
    • Informationen für ...
  • Stellen
    • → ÜbersichtOverview
    • Berufsausbildung an der Universität Oldenburg
    • Freiwilligendienste
    • Job-RSS-Feeds abonnieren
  • Stelle
Ü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 ([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

Weiterbildungs­möglichkeiten

Flexible Arbeitszeit

Gesundheits­management

Mobiles Arbeiten

Vereinbarkeit von Beruf und Familie

Unterstützung bei der Kinderbetreuung

Hochschulsport

Zertifikat Fahrradfreundlicher Arbeitgeber

Corporate Benefits

Zurück zur Liste AusdruckenPrint

Datenschutz

  • Datenschutzhinweise für Bewerber*innen gemäß Art. 13 DSGVO im Rahmen von Stellenausschreibungen

So bewerben Sie sich

  • Klicken Sie auf den Button unten, dadurch gelangen Sie zum Login-Formular unseres Bewerbungsportals.
  • Sofern noch nicht geschehen, klicken Sie dort bitte zunächst auf REGISTRIEREN, um ein Benutzerkonto anzulegen.
    • Hausinterne Bewerber*innen bitten wir, sich mit einer privaten E-Mailadresse als Bewerber*in zu registrieren. Die dienstliche E-Mailadresse der Universität ist der Mitarbeit an einer Besetzungskommission vorbehalten.
  • Nachdem Sie sich registriert haben, können Sie sich mit Ihren Zugangsdaten anmelden und dann Ihre Bewerbung starten.
    • Später können Sie sich jederzeit auf https://jobs.uni-oldenburg.de einloggen und dann auf Ihre Bewerbung zugreifen.
    • Allgemeine Informationen zum Bewerbungsportal finden Sie unter https://uol.de/bewerbungsportal.

    Jetzt Bewerbung starten
    Free. 20 seconds. No password. See every match in this search.

    Create a free Caio profile to unlock more results and save your role and location preferences.

    Unlock free search
    Want help applying to roles like this? Search Caio for free. If repetitive applications get heavy, Managed Job Search adds supervised execution for $99/month.
    View Managed Job Search