Gestalten Sie mit uns die digitale Zukunft des europäischen Bahnsystems. Bei Systems Lab 21 bringen Sie Ihre Expertise in formalen Methoden, modellbasiertem Systems Engineering und sicherheitskritischer Softwareentwicklung in anspruchsvolle Eisenbahnprojekte ein. Systems Lab 21 GmbH ist ein unabhängiges, profitables IT-Engineering-Unternehmen aus Potsdam. Seit 2021 entwickeln wir sichere, skalierbare Software- und Engineering-Lösungen für die europäische Eisenbahninfrastruktur. Wir arbeiten eng mit Betreibern, Herstellern, Zulassungsbehörden und europäischen Partnern zusammen - mit dem Ziel, Mobilität nachhaltiger, sicherer und digitaler zu machen.

Architektur, Design und Implementierung sicherheitsrelevanter Produkte sowie Entwicklungswerkzeuge für die Eisenbahninfrastruktur
Anwendung modellbasierter Systems-Engineering-Methoden mit Fokus auf formaler Spezifikation, Verifikation und Validierung
Einsatz mathematisch präziser Methoden wie Model Checking, Theorem Proving und automatisierter Verifikation
Erstellung normgerechter Pläne, Berichte, Nachweise und Produkthandbücher für sicherheitsrelevante Entwicklungsprozesse
Entwicklung robuster Systeme mit hoher Verfügbarkeit, Zuverlässigkeit, Wartbarkeit und Sicherheit
Beratung unserer Kunden sowie Entwicklung pragmatischer, technisch tragfähiger Lösungen
Wissensaustausch, Coaching und fachliche Unterstützung im Team
Technische oder wirtschaftliche Verantwortung von Projekten, Kundenbeziehungen und fachlicher Weiterentwicklung im Team

Sehr gute Deutsch- und Englischkenntnisse in Wort und Schrift, mindestens C1
Abgeschlossenes Studium, idealerweise Master oder Promotion, in Mathematik, Physik, Systems Engineering, Softwaretechnik, Elektrotechnik oder einem vergleichbaren technischen Fach
Freude an mathematischer Strenge, logischem Denken und präziser Spezifikation komplexer Systeme
Erfahrung mit Model Checking, Theorem Proving oder anderen formalen Verifikationstechniken
Praxis mit Modellierungs-, Spezifikations- oder Verifikationswerkzeugen, z. B. B-Method, HLL, SCADE, Capella oder SMT-Solver wie Z3
Analytische Arbeitsweise, Lernbereitschaft und Freude daran, Wissen zu teilen
Pragmatische Haltung und Bereitschaft, sich bei Bedarf auch in neue Technologien, Standards und Domänen einzuarbeiten
Plus: Erfahrung im Bahn-, bestenfalls LST-Umfeld, z. B. ETCS, EULYNX, Stellwerke oder Sicherheitslogik
Alternativ: Erfahrung aus anderen sicherheitskritischen Bereichen, z. B. Luft- und Raumfahrt, Medizinprodukte oder Automotive
Plus: Kenntnisse in Funktionaler Sicherheit und verwandten Entwicklungsprozessen, z. B. V-Modell, IEC 61508-Familie oder EN 50126ff.

Attraktives Gehalt und 30 Tage bezahlter Urlaub pro Jahr
Remote-Option innerhalb Deutschlands; vertraglicher Standort ist Potsdam
4 Wochen pro Jahr ortsunabhängiges Arbeiten innerhalb der EU
Deutschlandticket
flexible Arbeitszeiten
Großer Gestaltungsspielraum bei Technologie, Arbeitsumgebung und nachhaltiger Mobilität
Unterstützung Ihrer Lernziele durch Trainings, Konferenzen, Fachliteratur und Austausch im Team
Kleines Team

CVMT1_DE