Im Fachbereich Informatik der TU Darmstadt ist am Fachgebiet Semantik und Verifikation paralleler Systeme (Leitung Prof. Dr. Marie-Christine Jakobs) ab sofort eine Stelle für eine_n

Wiss. Mitarbeiter_in (w/m/d) im Bereich Reverifikation modifizierter Programme

in einem auf 3 Jahre befristeten Arbeitsverhältnis zu besetzen.

Im Allgemeinen lehrt und forscht das Fachgebiet Semantikund Verifikation paralleler Systeme zu Themen im Bereichautomatischen Softwareverifikationstechniken, die der Überprüfung von Sicherheitseigenschaften von Programmen dienen. Die_Der Stelleninhaber_in wird bis Ende 2022 am Teilprojekt L des LOEWE Schwerpunkts Software-Factory 4.0 und danach amDFG Vorhaben ReVeriX arbeiten. Inhaltlich soll diese Stelleinnovative Forschungsfragen im Bereich effizienter und flexibler Reverifikation modifizierter Programme bearbeiten, um eine Absicherung modifizierter Programme gegen Eigenschaftsverletzungen zugewähren.

Zu diesem Zweck sollen Methoden zum Austausch von Ergebnissen zwischen Verifiziereren für eine Reverifikation und Methoden zur Beschränkung der Reverifikation oder der funktionalen Äquivalenzprüfung auf relevante, modifizierte Pfade entwickelt,implementiert und praktisch evaluiert werden.

Wir bieten eine intensive, persönliche Betreuung, geben Ihnen Gelegenheit zur innovativen Forschung im Bereich Reverifikation modifizierter Programme und unterstützen Sie bei Ihrer persönlichen Fortbildung im Rahmen der vielfältige Qualifizierungsangeboten der TU Darmstadt (Ingenium, HDA, etc.).

Ihr Profil

  • Sehr guter Masterabschluss in Informatik oder einer vergleichbaren Disziplin an einer wissenschaftlichen Hochschule
  • Interesse an der Erforschung komplexer, wissenschaftlicher Fragestellungen im Bereich automatischer Softwareverifikation mit Fokus auf effizienter und flexibler Reverifikation modifizierter Programme
  • Solide Kenntnisse über und praktische Erfahrung (Anwendung, Entwicklung) mit Analysetechniken im Bereich (automatischer)Softwareverifikation (z.B. Softwaremodelchecking, BMC,k-Induktion, CEGAR)
  • Gute Programmierkenntnisse insbesondere in JavaGute Englischkenntnisse in Wort und Schrift
  • Teamorientierung und Fähigkeit zur kooperativen Zusammenarbeit
  • Eigenverantwortliche, strukturierte, zuverlässige und zielorientierte Arbeitsweise

Gelegenheit zur Vorbereitung einer Promotion wird gegeben. Das Erbringen der Dienstleistung dient zugleich der wissenschaftlichen Qualifizierung.

Die Technische Universität Darmstadt strebt eine Erhöhung des Anteils der Frauen am Personal an und fordert deshalb besonders Frauen auf, sich zu bewerben. Bewerber_innen mit einem Grad der Behinderung von mindestens 50 oder diesen Gleichgestellte werden bei gleicher Eignung bevorzugt. Die Vergütung erfolgt nach dem Tarifvertrag für die Technische Universität Darmstadt (TV - TU Darmstadt). Teilzeitbeschäftigung ist grundsätzlich möglich.

Bitte senden Sie Ihre Bewerbung mit den üblichen Unterlagen (einschließlich Anschreiben, Lebenslauf und Kopien aller Zeugnisse) unter Angabe der Kennnummer und des Teilprojekts L an: applications@software-factory-4-0.de

Mit dem Absenden Ihrer Bewerbung willigen Sie ein, dass Ihre Daten zum Zwecke des Stellenbesetzungsverfahrens gespeichert und verarbeitet werden. Sie finden unsere Datenschutzerklärung auf unserer Homepage.

Kenn-Nr. 495

Veröffentlicht am

20. Juli 2022

Bewerbungsfrist

31. August 2022