Studien-/ Abschlussarbeit Erforschung und Berechnung von Recovery Strategien auf Modularisierten Fehlerbäumen Student Informatik (m/w)

Starten Sie Ihre Mission beim DLR.

Das DLR ist das Forschungszentrum für Luft- und Raumfahrt sowie die Raumfahrtagentur der Bundesrepublik Deutschland. Rund 8.000 Mitarbeiterinnen und Mitarbeiter forschen gemeinsam an einer einzigartigen Vielfalt von Themen in Luftfahrt, Raumfahrt, Energie, Verkehr, Digitalisierung und Sicherheit. Ihre Missionen reichen von der Grundlagenforschung bis hin zur Entwicklung von innovativen Anwendungen und Produkten von morgen. Wenn auch Sie sich für die Welt der Spitzenforschung in einem inspirierenden, wertschätzenden Umfeld begeistern, starten Sie Ihre Mission bei uns.

Für unser Institut Simulations- und Softwaretechnik in Braunschweig suchen wir einen

Erforschung von Recovery Strategien, Berechnung von Recovery Strategien auf Modularisierten Fehlerbäumen

Ihre Mission:

Die Mission der Einrichtung Simulations- und Softwaretechnik ist es neuartige Wege in der Softwareentwicklung zu beschreiten um unsere Ingenieure mit innovativen und neuen Softwarelösungen in ihrem Alltag zu unterstützen. Eines dieser Softwarelösungen heißt „Virtueller Satellit“. Sie unterstützt unsere Ingenieure neue Systeme und Missionen von der ersten Idee über die Planung bis hin zum Bau und Betrieb Wirklichkeit werden zu lassen. Wir sind ein buntes, internationales Team, jeden Alters und bestehen unter Anderem aus Informatikern, Ingenieuren und Mathematikern. Wir stellen uns jeden Tag den Herausforderungen die digitale Revolution im Raumfahrtbereich voranzutreiben. Daran forschen wir gemeinsam und eröffnen uns und unseren Kollegen völlig neue Wege in der Software- und Raumfahrzeugentwicklung. Heute entworfene Systeme sind nicht frei von Fehlern. Raumfahrzeuge müssen aber in der Lage sein, trotz potenzieller Fehler, weiterhin zu operieren. Daher wird sich Ihre Forschung und Mission auf die Methode der Fault Tree Analyse (FTA) konzentrieren. Ihre Arbeit wird dazu beitragen Recovery Strategien auf komplexen Fault Trees effizienter zu berechnen. Das Ziel besteht in der Suche nach wiederkehrenden Mustern um diese für effiziente Transformationen zu verwenden. Damit kann die Synthese von Recovery Strategien beschleunigt und somit auch der Prozess des Raumfahrtentwurfs verbessert werden.

Ihre Aufgaben im Rahmen der Bachelor- oder Masterarbeit umfassen die:

• Untersuchung von modernen Methoden zur Modularisierung von Fault Trees
• Entwicklung eines Konzeptes um optimale Recovery Strategien direkt aus Unterbäumen abzuleiten
• Evaluierung der Ansätze im Rahmen unserer Software Virtual Satellite

Wenn Sie Spaß an der Softwareentwicklung haben und Teil unseres Teams werden wollen, dann freuen wir uns auf Ihre Bewerbung. Wir wünschen uns hochmotivierte Studenten, deren eigener Anspruch die Entwicklung qualitativ hochwertiger Software ist. Wir bieten Ihnen die Möglichkeit Ihre eigenen Ideen mit einfließen zu lassen.

Ihre Qualifikation:

• Sie studieren gerade und machen Ihren Bachelor oder Master in Informatik
• Sie haben ein gutes Verständnis über Formale Methoden
• Sie sind eine Experte in der Software Entwicklung mit Java und Eclipse

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 Familie und Beruf sowie Chancengleichheit von Frauen und Männern sind fester Bestandteil unserer Personalpolitik. Daher begrüßen wir Bewerbungen von Frauen ausdrücklich. Schwerbehinderte Bewerberinnen bevorzugen wir bei fachlicher Eignung.

Fachliche Fragen beantwortet Ihnen gern Sascha Müller telefonisch unter +49 531 295-2985. Weitere Informationen zu dieser Position mit der Kennziffer 12171 sowie zum Bewerbungsweg finden Sie unter www.DLR.de/dlr/jobs/#24211.