Informatikerin oder Informatiker o. ä. - Formale Methoden und Model-Checking im Systems Engineering

Bookmark Wissenschaftliche Tätigkeit / Projektarbeit Forschung im Bereich formaler Methoden und im Model-Checking im Systems Engineering Informatikerin oder Informatiker o. ä. Virtual Satellite - Code and Application Beginn ab sofort Dauer 3 Jahre Vergütung Entgeltgruppe 13 TVöD Beschäftigungsgrad Vollzeit (Teilzeit möglich) "Spitzenforschung braucht auf allen Ebenen exzellente Köpfe - besonders noch mehr weibliche! Starten Sie bei uns, wir freuen uns auf Ihre Bewerbung" Ihre Prof. Dr. Pascale Ehrenfreund - Vorsitzende des Vorstands Ihre Mission: Fehlerfreies Engineering spielt in der Raumfahrt eine große Rolle. Mit Methoden des Model-Based Systems Engineering (MBSE) versuchen wir die Entwicklung von Raumfahrzeugen zu unterstützen. Dabei werden frühzeitig relevante Informationen über das Raumfahrzeug gesammelt und analysiert. Für einen Nachweis der Korrektheit werden in Zukunft formale Ansätze wie zum Beispiel Model-Checking benötigt. Ihre Mission ist es in dem Bereich der formalen Methoden zu forschen und Ansätze des MBSE mit formaler Verifikation zu verknüpfen. Ihre Arbeiten integrieren sie in unsere Open-Source-Software Virtual Satellite. Zu Ihrer Aufgabe zählt es: wissenschaftlich im Bereich der formalen Methoden und des Model-Checkings zu arbeiten bestehende Ansätze im Systems Engineering im Rahmen unserer Software Virtual Satellite zum Einsatz zu bringen bestehende Ansätze zur formalen Verifikation von Software in Zusammenarbeit mit unserer On-Board Software Gruppe in den Einsatz zu bringen neue Methoden für eine durchgängige Verifikation zu erforschen und zu entwerfen, zum Beispiel vom Systems Engineering bis in die On-Board Software Virtual Satellite im Team zu erweitern und Ihre Forschungsergebnisse zu integrieren Publikationen zu erstellen und Vorträge auf Fachkonferenzen zu halten Wenn Sie Interesse an der Softwareentwicklung haben und Teil unseres Teams werden wollen, dann freuen wir uns auf Ihre Bewerbung. Wir wünschen uns hochmotivierte Kolleginnen und Kollegen, die sich mit ihrer Arbeit identifizieren und andere begeistern. Wir bieten Ihnen die Möglichkeit Ihre eigenen Ideen mit einfließen zu lassen. Dabei sollen Sie auch eigenverantwortlich neue Projekte ins Leben rufen. Ihre Arbeiten sollen Sie auf internationalen Konferenzen und in wissenschaftlichen Fachzeitschriften präsentieren. Wir bieten ein spannendes, teamorientiertes und flexibles Arbeitsumfeld, bei dem unter anderem auch eine Teilzeitbeschäftigung möglich ist. Ihre Qualifikation: abgeschlossenes wissenschaftliches Hochschulstudium (Diplom/Master) im Studiengang Informatik oder einem vergleichbaren Studiengang fundierte Kenntnisse in der Softwareentwicklung mit Java oder ähnlichem fundierte Kenntnisse im Bereich der formalen Methoden Kenntnisse mit Software-Engineering-Werkzeugen wie GitHub, Travis, Maven/Tycho Teamfähigkeit, Kreativität, Eigenständigkeit und Eigenverantwortung die Bereitschaft zu publizieren und zu reisen (national/international) fließende Deutsch- und Englischkenntnisse in Wort und Schrift idealerweise Erfahrungen mit Werkzeugen wie Spin, SMV, Z3 oder ähnlichem Erfahrungen mit Methoden zur Vermeidung von, zum Beispiel, Zustandsexplosionen sind wünschenswert Kenntnisse im Thema MBSE mit Bezug zum Satellitenbau sind von Vorteil Kenntnisse in der Softwareentwicklung mit Eclipse, OSGI sind von Nutzen Ihr Start: Freuen Sie sich auf einen Arbeitgeber, der Ihr Engagement zu schätzen weiß und Ihre Entwicklung durch vielfältige Qualifizierungs- und Weiterbildungsmöglichkeiten fördert. Unser einzigartiges Arbeitsumfeld bietet Ihnen Gestaltungsfreiräume und eine unvergleichbare Infrastruktur, in der Sie Ihre Mission verwirklichen können. Vereinbarkeit von Privatleben, Familie und Beruf sowie Chancengleichheit von Personen aller Geschlechter (m/w/d) sind wichtiger Bestandteil unserer Personalpolitik. Bewerbungen schwerbehinderter Menschen bevorzugen wir bei fachlicher Eignung.