Ü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 im Bereich der deduktiven Verifikation und der quantitativen Analyse von Systemen
• Publikation wissenschaftlicher Arbeiten im genannten Bereich auf führenden internationalen Konferenzen
• Mitbetreuung von Studierenden im genannten Forschungsbereich
• 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 oder der Mathematik (mit einer entsprechenden Spezialisierung in der Informatik); weitere vergleichbare Fachrichtungen werden auch berücksichtigt.
• Die Themen Programmverifikation, Formale Methoden und Probabilistische Systeme (alles breit interpretiert) müssen jeweils mit mindestens 5 ECTS Bestandteil Ihres Studiums gewesen sein.
• Promotionswille
• Gute Englisch- und Deutschkenntnisse in Wort und Schrift
• Überzeugendes Motivationsschreiben (max. 1 Seite) mit einem klaren Bezug zu formaler Programmverifikation oder formalen Methoden für probabilistische Systeme

Erwünscht sind / Von Vorteil sind

• Lehrerfahrung in Kursen zu theoretischer Informatik oder Mathematik
• Interesse an der Entwicklung von Verifikationswerkzeugen

Wir bieten

• Möglichkeit, an spannenden Forschungsthemen zu arbeiten
• Aussicht auf die Veröffentlichung erarbeiteter Forschungsergebnisse in und aktive Teilnahme an führenden Konferenzen zu formalen Methoden und Programmiersprachen, wie CAV, POPL, TACAS, …
• Möglichkeiten für internationale Kooperationen
• Unterstützung und Begleitung im Rahmen Ihrer Beschäftigung, insb. bzgl. Ihrer Forschung
• 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).

Kontakt

Weitere Auskünfte erteilt Ihnen gerne Prof. Dr. Christoph Matheja (