Im Allgemeinen lehrt und forscht unser Fachgebiet zu Themen im Bereich automatischen Softwareverifikationstechniken, die der Überprüfung von Sicherheitseigenschaften von Programmen dienen. Der Stelleninhaber/die Stelleninhaberin wird bis Ende am Teilprojekt L des LOEWE Schwerpunkts Software-Factory 4.0 und danach am DFG Vorhaben ReVeriX arbeiten. Inhaltlich soll diese Stelle innovative Forschungsfragen im Bereich effizienter und flexibler Reverifikation modifizierter Programme bearbeiten, um eine Absicherung modifizierter Programme gegen Eigenschaftsverletzungen zu gewä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 Java
- Gute Englischkenntnisse in Wort und Schrift
- Teamorientierung und Fähigkeit zur kooperativen Zusammenarbeit
- Eigenverantwortliche, strukturierte, zuverlässige und zielorientierte Arbeitsweise
Für weitere Fragen steht Ihnen Prof. Dr. Marie-Christine Jakobs gerne zur Verfügung.
Bitte senden Sie Ihre Bewerbung mit den üblichen Unterlagen (einschließlich Anschreiben, Lebenslauf und Kopien aller Zeugnisse) unter Angabe der Kennnummer 495 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.