mbse-ingenieur-formal-methods-entwickler-eisenbahn bei Systems Lab 21 GmbH

Diese Position fordert dich heraus, sichere und skalierbare Lösungen für die europäische Eisenbahninfrastruktur zu entwickeln.

• Architektur und Design — Du gestaltest die technische Architektur und implementierst sicherheitsrelevante Produkte für kritische Infrastrukturen
• Modellbasiertes Systems Engineering — Du wendest formale Spezifikations- und Verifikationsmethoden an, um komplexe Systeme präzise zu beschreiben
• Mathematische Verifikation — Durch Model Checking und Theorem Proving sicherst du die Korrektheit deiner Entwicklungen
• Normgerechte Dokumentation — Du erstellst fachkundige Berichte, Nachweise und Produkthandbücher entsprechend der Sicherheitsstandards
• Technische Verantwortung — Du übernimmst Verantwortung für Projekte, Kundenbeziehungen und die fachliche Weiterentwicklung im Team
• Coaching und Beratung — Du unterstützt Kollegen fachlich und fungierst als Multiplikator für dein Wissen

Diese Rolle verbindet tiefe technische Expertise mit direktem Kundenkontakt und der Möglichkeit, Mobilität nachhaltiger zu gestalten.

Die Eisenbahnbranche entwickelt sich durch Digitalisierung fundamental weiter und benötigt dringend Experten für formale Methoden.

• Europäische Skalierung — Du arbeitest an Projekten, die das gesamte europäische Bahnsystem verändern und modernisieren
• Sicherheitskritische Systeme — Deine Arbeit beeinflusst direkt die Zuverlässigkeit und Sicherheit von Eisenbahninfrastrukturen
• Formale Methoden als Zukunft — Mathematisch präzise Spezifikationen werden immer wichtiger in sicherheitskritischen Domänen
• Vielfältige Kunden — Zusammenarbeit mit Betreibern, Herstellern und Zulassungsbehörden bietet breiten fachlichen Horizont
• Nachhaltiger Wandel — Digitale Transformation ermöglicht effizientere und umweltschonendere Mobilitätslösungen
• Wissensaustausch — Du profitierst von einem kleinen, engagierten Team mit hoher fachlicher Dichte

Die Branche steht an einem Wendepunkt, wo formale Methoden den Unterschied zwischen sicheren und unsicheren Systemen machen.

Systems Lab 21 sucht nach Experten, die mathematische Strenge mit technischer Praxis verbinden können.

• Fachliche Qualifikation — Ideal ist ein Masterstudium oder Promotion in technischen oder mathematischen Fächern wie Systems Engineering oder Softwaretechnik
• Formale Methoden — Erfahrung mit Model Checking, Theorem Proving oder ähnlichen Verifikationstechniken ist zentral
• Werkzeugkenntnisse — Familiarität mit Tools wie B-Method, SCADE, Capella oder SMT-Solvern erweitert deine Möglichkeiten
• Branchenerfahrung — Kenntnisse in der Eisenbahnbranche (ETCS, EULYNX) oder anderen sicherheitskritischen Bereichen sind von Vorteil
• Sprache — Sehr gute Deutsch- und Englischkenntnisse (C1) sind Voraussetzung für die internationale Zusammenarbeit
• Soft Skills — Analytisches Denken, Lernbereitschaft und Freude am Wissen teilen sind genauso wichtig wie technische Fähigkeiten

Funktionale Sicherheitsstandards wie IEC 61508 oder V-Modellkenntnisse runden das Profil ab.

Diese Position bietet ein umfassendes Paket an Flexibilitäten und Unterstützungen für deine persönliche und berufliche Entwicklung.

• Remote-Arbeit — 4 Wochen ortsunabhängiges Arbeiten innerhalb der EU ermöglichen dir maximale Flexibilität
• Urlaubsgerechtigkeit — 30 Tage bezahlter Urlaub plus Deutschlandticket sorgen für Work-Life-Balance
• Lernförderlichkeit — Trainings, Konferenzen und Fachliteratur unterstützen dich bei deinen Karrierezielen
• Gestaltungsfreiheit — Du hast großen Spielraum bei Technologie und Arbeitsumgebung
• Flexible Arbeitszeiten — Du planst deinen Tagesablauf selbstständig
• Kleines Team — Direkte Zusammenarbeit in einem eng verzahnten, persönlichen Umfeld

Das attraktive Gehalt wird individuell nach Qualifikation und Erfahrung ausgehandelt.