Postdoktorand*in im Department für Informatik

Ü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, [email protected]