Finde einen Job 
Finde eine Ausbildung 
Top Arbeitgeber 
Top Universitäten 
Für Unternehmen Auf einen Blick
- Aufgaben: Gestalte die digitale Zukunft des europäischen Bahnsystems mit innovativen Methoden und Technologien.
- Arbeitgeber: Systems Lab 21, ein unabhängiges IT-Engineering-Unternehmen aus Potsdam.
- Mitarbeitervorteile: Attraktives Gehalt, 30 Tage Urlaub, Remote-Option und flexible Arbeitszeiten.
- Andere Informationen: Kleines Team mit großem Gestaltungsspielraum und Unterstützung für deine Lernziele.
- Warum dieser Job: Arbeite an sicherheitskritischen Projekten und mache einen echten Unterschied in der Mobilität.
- Gewünschte Qualifikationen: Abgeschlossenes Studium in einem technischen Fach und Erfahrung mit formalen Verifikationstechniken.
Das voraussichtliche Gehalt liegt zwischen 60000 - 75000 € pro Jahr.
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
Qualifikationen:
- 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.
Wir bieten:
- 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
MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d) Arbeitgeber: Systems Lab 21 GmbH
Kontaktperson:
Systems Lab 21 GmbH HR Team
StudySmarter Bewerbungstipps 🤫
So bekommst du den Job: MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d)
✨Netzwerken, Netzwerken, Netzwerken!
Nutze LinkedIn und andere Plattformen, um mit Leuten aus der Branche in Kontakt zu treten. Stell Fragen, teile dein Wissen und zeig Interesse an den Projekten, die sie machen. So kannst du wertvolle Kontakte knüpfen und vielleicht sogar Insider-Infos über offene Stellen bekommen!
✨Sei proaktiv!
Warte nicht darauf, dass die Jobs zu dir kommen. Suche aktiv nach Unternehmen, die dich interessieren, und kontaktiere sie direkt. Zeig ihnen, warum du eine Bereicherung für ihr Team sein würdest. Wir bei StudySmarter glauben, dass Eigeninitiative oft der Schlüssel zum Erfolg ist!
✨Bereite dich auf Interviews vor!
Mach dich mit typischen Fragen in deinem Bereich vertraut und übe deine Antworten. Überlege dir auch, welche Fragen du dem Interviewer stellen möchtest. Das zeigt dein Interesse und deine Vorbereitung. Und vergiss nicht, deine Erfolge und Erfahrungen klar und präzise zu kommunizieren!
✨Bewirb dich über unsere Website!
Wenn du denkst, dass du gut zu uns passt, zögere nicht und bewirb dich direkt über unsere Website. Dort findest du alle aktuellen Stellenangebote und kannst sicher sein, dass deine Bewerbung direkt bei uns landet. Wir freuen uns darauf, von dir zu hören!
Diese Fähigkeiten machen dich zur top Bewerber*in für die Stelle: MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d)
Tipps für deine Bewerbung 🫡
Sei du selbst!: Wenn du deine Bewerbung schreibst, lass deine Persönlichkeit durchscheinen. Wir suchen nach Menschen, die nicht nur die richtigen Qualifikationen haben, sondern auch gut ins Team passen. Zeig uns, wer du bist und was dich motiviert!
Pass auf die Details auf!: Achte darauf, dass deine Bewerbung fehlerfrei ist. Rechtschreibfehler oder unklare Formulierungen können einen schlechten Eindruck hinterlassen. Nimm dir die Zeit, alles sorgfältig zu überprüfen, bevor du es abschickst.
Beziehe dich auf die Stellenbeschreibung!: Nutze die Informationen aus der Stellenbeschreibung, um zu zeigen, wie deine Erfahrungen und Fähigkeiten zu den Anforderungen passen. Das hilft uns, deine Eignung für die Position besser zu verstehen und zeigt, dass du dich mit der Rolle auseinandergesetzt hast.
Bewirb dich über unsere Website!: Wir empfehlen dir, deine Bewerbung direkt über unsere Website einzureichen. So stellst du sicher, dass sie schnell und unkompliziert bei uns ankommt. Außerdem kannst du dort auch mehr über uns und unsere Projekte erfahren!
Wie du dich auf ein Vorstellungsgespräch bei Systems Lab 21 GmbH vorbereitest
✨Verstehe die formalen Methoden
Mach dich mit den spezifischen formalen Methoden vertraut, die in der Stellenbeschreibung erwähnt werden, wie Model Checking und Theorem Proving. Zeige im Interview, dass du nicht nur die Theorie verstehst, sondern auch praktische Erfahrungen mit den entsprechenden Werkzeugen hast.
✨Bereite konkrete Beispiele vor
Überlege dir konkrete Projekte oder Situationen, in denen du deine Fähigkeiten in der modellbasierten Systementwicklung unter Beweis gestellt hast. Sei bereit, diese Beispiele zu erläutern und zu zeigen, wie du Herausforderungen gemeistert hast.
✨Zeige deine Teamfähigkeit
Da das Unternehmen Wert auf Wissensaustausch und Teamarbeit legt, solltest du Beispiele für erfolgreiche Teamprojekte parat haben. Erkläre, wie du zur Teamdynamik beigetragen hast und welche Rolle du in der Zusammenarbeit gespielt hast.
✨Sprich über deine Lernbereitschaft
Betone deine Bereitschaft, dich in neue Technologien und Standards einzuarbeiten. Das Unternehmen sucht jemanden, der sich kontinuierlich weiterentwickeln möchte. Teile Beispiele, wie du in der Vergangenheit neue Fähigkeiten erlernt hast und wie du dein Wissen mit anderen geteilt hast.