MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d)

MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d)

Vollzeit 60000 - 75000 € / Jahr (geschätzt) Homeoffice (teilweise)
Systems Lab 21 GmbH

Auf einen Blick

  • Aufgaben: Gestalte die digitale Zukunft des europäischen Bahnsystems mit formalen Methoden und sicherheitskritischer Software.
  • Unternehmen: Innovatives IT-Engineering-Unternehmen aus Potsdam mit Fokus auf nachhaltige Mobilität.
  • Vorteile: Attraktives Gehalt, 30 Tage Urlaub, Remote-Option und flexible Arbeitszeiten.
  • Weitere Informationen: Kleines Team mit großem Gestaltungsspielraum und Unterstützung für deine Lernziele.
  • Warum dieser Job: Arbeite an spannenden Projekten und mache einen echten Unterschied in der Eisenbahninfrastruktur.
  • Qualifikationen: Abgeschlossenes Studium in einem technischen Fach und Erfahrung mit formalen Verifikationstechniken.

Das prognostizierte 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

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.

MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d) Arbeitgeber: Systems Lab 21 GmbH

Systems Lab 21 GmbH ist ein hervorragender Arbeitgeber, der Ihnen die Möglichkeit bietet, an der digitalen Zukunft des europäischen Bahnsystems mitzuarbeiten. Mit einem attraktiven Gehalt, 30 Tagen bezahltem Urlaub und der Flexibilität von Remote-Arbeit innerhalb Deutschlands schaffen wir eine unterstützende Arbeitsumgebung, die auf persönliches Wachstum und Wissensaustausch setzt. Unser kleines, engagiertes Team fördert innovative Ideen und bietet Ihnen die Chance, Ihre Fähigkeiten in einem dynamischen und zukunftsorientierten Umfeld weiterzuentwickeln.

Systems Lab 21 GmbH

Kontaktdaten:

Systems Lab 21 GmbH Recruiting-Team

StudySmarter Expertenrat🤫

Wir sind der Meinung, dass Sie so MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d) erhalten könnten

Nutze Ingenieur-Events und Messen

Ingenieurs-Events und Messen sind der perfekte Ort, um persönliche Kontakte zu knüpfen. Schau dir die nächsten Karrieretage oder Fachmessen in deiner Nähe an. Dort kannst du nicht nur potenzielle Arbeitgeber treffen, sondern auch direkt mit Fachleuten plaudern, die dir Insider-Tipps geben können.

Schnapp dir Praktika und Werkstudentenstellen

Wenn du noch nicht das passende Vollzeitangebot gefunden hast, lohnt es sich, zunächst Praktika oder Werkstudentenstellen in deinem Wunschunternehmen zu ergattern. Diese Positionen bieten dir nicht nur wertvolle Einblicke, sondern auch die Möglichkeit, nach dem Abschluss übernommen zu werden. Lass uns deine Suche unterstützen, indem du auf unserer Website nach offenen Stellen schaust!

Werde Mitglied in Ingenieur-Communities

In vielen Städten gibt es spezielle Ingenieur-Communities oder Foren, wo sich Gleichgesinnte treffen. Dort kannst du nicht nur deinen Horizont erweitern, sondern auch direkt von anderen erfahren, wo die besten Stellen ausgeschrieben sind. Networking ist in unserer Branche Gold wert!

Nutze Alumni-Netzwerke

Falls du an einer Hochschule studiert hast, schau mal in deren Alumni-Netzwerk rein. Oft gibt es dort spezielle Jobangebote oder Mentorenschaften, und du kannst von den Erfahrungen früherer Absolventen profitieren. So findest du schnellere einen Fuß in die Tür bei Unternehmen, die dich interessieren!

Wir glauben, dass du diese Fähigkeiten brauchst, um MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d) mit Bravour zu bestehen

Formale Methoden
Modellbasiertes Systems Engineering
Sicherheitskritische Softwareentwicklung
Mathematisch präzise Methoden
Model Checking
Theorem Proving
Automatisierte Verifikation

Einige Tipps für deine Bewerbung 🫡

Technische Fähigkeiten im Fokus:Wenn du dich bei Systems Lab 21 GmbH für die Position als MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d) bewirbst, stelle sicher, dass dein Lebenslauf deine technischen Fähigkeiten und Projekte klar hervorhebt. Welche Software, Technologien oder Ingenieurmethoden beherrschst du? Achte darauf, relevante Zertifikate oder spezielle Ausbildungen anzugeben!

Praktische Erfahrungen zählen:Ingenieurwesen lebt von praktischen Erfahrungen! Wenn du Praktika oder Projekte hast, in denen du dein Wissen anwenden konntest, führe diese in deinem Lebenslauf auf. Zeige, wie du Probleme gelöst und Ergebnisse erzielt hast – Zahlen und Fakten werden hier sehr geschätzt!

Motivation für das Unternehmen:In deinem Anschreiben solltest du nicht nur deine Qualifikationen betonen, sondern auch, warum du für Systems Lab 21 GmbH arbeiten möchtest. Welche Werte oder Projekte des Unternehmens sprechen dich an? Zeige, dass du nicht nur irgendeinen Job suchst, sondern dass du einen Beitrag zu unserem Team leisten möchtest.

Saubere und klare Struktur:Achte darauf, dass deine Bewerbungsunterlagen klar strukturiert sind. Verwende Absätze und Aufzählungen, um Informationen übersichtlich zu präsentieren. Ein gut gegliedertes Dokument macht es einfacher, deine Qualifikationen auf den ersten Blick zu erkennen und hinterlässt einen professionellen Eindruck.

Wie man sich auf ein Vorstellungsgespräch bei Systems Lab 21 GmbH vorbereitet

Technisches Wissen nachweisen

Im Ingenieurwesen zählt technisches Wissen unglaublich viel, also sei bereit, spezifische technische Fragen zu beantworten. Mach dich mit gängigen Werkzeugen und Software in deinem Bereich vertraut, und stelle sicher, dass du bereit bist, dein Verständnis über Konstruktions- oder Analyseverfahren zu demonstrieren.

Einen Projektportfolios präsentieren

Gerade bei einer Vollzeitstelle im Ingenieurwesen erwartet man oft, dass du praktische Erfahrungen vorweisen kannst. Bereite eine Auswahl von Projekten vor, an denen du gearbeitet hast, und erarbeite, wie du Herausforderungen gemeistert hast. Zeige, wie deine Erfahrungen zu den Anforderungen bei Systems Lab 21 GmbH passen.

Zusammenarbeit und Teamarbeit betonen

Ingenieure arbeiten selten alleine. Sei bereit, Beispiele anzuführen, wo du in einem Team gearbeitet hast oder interdisziplinär mit anderen zusammengearbeitet hast. Zeige, wie du deine individuellen Stärken in einer Gruppenarbeit einsetzen konntest und welche Rolle du gespielt hast.

Fragen zur praktischen Anwendung stellen

Nutze die Gelegenheit, um mehr über die alltäglichen Herausforderungen bei Systems Lab 21 GmbH zu erfahren. Frage gezielt nach Projekten oder Initiativen, an denen du beteiligt sein könntest, und wie das Team mit technischen Hürden umgeht. Das zeigt nicht nur dein Interesse, sondern auch deine mentale Vorbereitung auf die Realität des Jobs.