Das Institut Systems Engineering für zukünftige Mobilität ist ein Informatikinstitut am Wissenschaftsstandort Oldenburg mit derzeit rund 130 Mitarbeitenden. Gemeinsam mit nationalen und internationalen Partnern erforschen, entwickeln und testen wir innovative System-Engineering-Lösungen für die funktionale Sicherheit und Vertrauenswürdigkeit zukünftiger autonomer Verkehrssysteme – ob auf der Straße, zu Wasser oder auf der Schiene. ## Das erwartet dich Zur Verstärkung unseres Teams suchen wir eine/n engagierte/n Mitarbeiter/in (m/w/d) für die Gruppe „Evidence for Trustworthiness“ in der Abteilung „Systemtheorie und -design“. In dieser Gruppe stehen Forschungsfragen rund um den Nachweis technischer Aspekte der Vertrauenswürdigkeit von Systemen im Fokus. Mit einem abgeschlossenen wissenschaftlichen Hochschulstudium (Master/Diplom Uni) in der Fachrichtung Informatik, Mathematik oder einer vergleichbaren Qualifikation bringst Du die ideale Grundlage mit, um unser Team bei den spannenden und vielfältigen Herausforderungen in diesem Themenfeld tatkräftig zu unterstützen. Unsere Benefits: - Tarifvertrag öffentlicher Dienst mit 30 Tagen Urlaub - flexible Arbeitszeiten und die Möglichkeit zum mobilen Arbeiten - Vereinbarkeit von Job und Privatleben - Möglichkeit zur Promotion - umfassendes Weiterbildungsangebot - Jobticket - Mitarbeiterrabatte ## Deine Aufgaben - Konzeption und Verbesserung moderner Beschreibungssprachen zur präzisen Darstellung komplexer Verkehrsszenarien - Entwicklung und Umsetzung von Methoden zur Erzeugung von Verkehrszenarien unter Nutzung SMT-basierter Ansätze - Durchführung und Optimierung simulationsbasierter Tests zur Modellierung realistischer Verkehrsumgebungen - Entwicklung von Ansätzen zur Sicherheitsbewertung autonomer Fahrzeuge ## Das bringst du mit - Abgeschlossenes wissenschaftliches Hochschulstudium (Master / Diplom Uni) der Naturwissenschaften (z. B. Informatik, Mathematik) oder der Ingenieurwissenschaften (z. B. aus den Bereichen Softwareengineering, Systemsengineering) oder andere für die Tätigkeit relevante Studiengänge, sofern Erfahrungen vorzugsweise im Fachbereich Modellierung und Analyse sicherheitskritischer Eingebetteter Systeme nachgewiesen werden können - Fachkenntnisse im Bereich Systemsengineering (wie Systemmodellierung, Modellierung von Systemumgebungen oder -eigenschaften), Verifikations- und Validierungsmethoden (z. B. Model-basierte Analyse, Simulatives Testen, formale Verifikation, SMT-Solving) - Fachkenntnisse in den Bereichen Entwurf (z. B. Model- oder Vertrags-basierter Entwurf), Safetyprozesse und Analyseverfahren (z.B. HAZOP, FMEA, FTA, STPA) im Verkehrsbereich sind hilfreich - Fähigkeiten zur Entwicklung größerer Software - Erste Erfahrung im Bereich des Nachweises von Eigenschaften (wie Sicherheit) automatisierter Systeme - Kenntnisse über die und Erfahrung in der Anwendung von spezieller Software, Simulationsprogramme/Module wie z. B. Z3 Carla - Sehr gute Deutschkenntnisse in Wort und Schrift, sowie gute Englischkenntnisse für wissenschaftliche Diskussionen Wir freuen uns darauf, dich kennenzulernen! Fragen zu dieser Position (Kennziffer 401) beantwortet dir gerne: Eike Möhlmann Tel.: +49 441 770507 250