Auf einen Blick
- Aufgaben: Gestalte die digitale Zukunft des europäischen Bahnsystems mit innovativen Technologien.
- Unternehmen: Systems Lab 21, ein unabhängiges IT-Engineering-Unternehmen aus Potsdam.
- 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 sicherheitskritischen Projekten und mache einen echten Unterschied in der Mobilität.
- Qualifikationen: Studium in Mathematik, Physik oder verwandten Fächern und Erfahrung mit formalen Methoden.
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.
Aufgaben
- 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
Profil
- 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)- Bewerben über Stepstone 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, flexiblen Arbeitszeiten und der Option auf Remote-Arbeit innerhalb Deutschlands fördern wir eine offene und innovative Arbeitskultur, in der Ihr Wissen geschätzt wird und Sie durch gezielte Trainings und Austausch im Team wachsen können. Unser kleines, engagiertes Team bietet Ihnen großen Gestaltungsspielraum und die Chance, an anspruchsvollen Projekten zu arbeiten, die nachhaltige Mobilität vorantreiben.
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d)- Bewerben über Stepstone erhalten könnten
✨Tipp Nummer 1
Nutze dein Netzwerk! Sprich mit Freunden, ehemaligen Kollegen oder Kommilitonen über die Stelle. Oftmals erfährt man durch persönliche Kontakte von offenen Positionen, die nicht öffentlich ausgeschrieben sind.
✨Tipp Nummer 2
Bereite dich auf das Vorstellungsgespräch vor! Informiere dich über das Unternehmen und die Projekte, an denen sie arbeiten. Zeige, dass du nicht nur die Anforderungen erfüllst, sondern auch ein echtes Interesse an der digitalen Zukunft des Bahnsystems hast.
✨Tipp Nummer 3
Sei proaktiv! Wenn du eine interessante Stelle gefunden hast, zögere nicht, dich direkt über unsere Website zu bewerben. Zeige Initiative und bringe deine Ideen ein, wie du zur Weiterentwicklung des Unternehmens beitragen kannst.
✨Tipp Nummer 4
Übe deine Präsentationsfähigkeiten! Du wirst möglicherweise technische Konzepte erklären müssen. Übe, komplexe Themen einfach und verständlich zu präsentieren, um deine Kommunikationsfähigkeiten zu demonstrieren.
Wir glauben, dass du diese Fähigkeiten brauchst, um MBSE-Ingenieur/in als Formal-Methods-Entwickler/in Eisenbahn (Remote-Option, m/w/d)- Bewerben über Stepstone mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Sei du selbst!:Wenn du deine Bewerbung schreibst, lass deine Persönlichkeit durchscheinen. Wir suchen nach authentischen Menschen, die ihre Leidenschaft für formale Methoden und Systems Engineering zeigen.
Mach es konkret!:Verwende konkrete Beispiele aus deiner bisherigen Erfahrung, um zu zeigen, wie du die Anforderungen der Stelle erfüllst. Zeig uns, was du kannst und wie du zur digitalen Zukunft des europäischen Bahnsystems beitragen kannst.
Achte auf die Details!:Stelle sicher, dass deine Bewerbung fehlerfrei ist. Ein gut strukturiertes Dokument mit klaren Absätzen und einer logischen Gliederung macht einen professionellen Eindruck und zeigt, dass du Wert auf Qualität legst.
Bewirb dich über unsere Website!:Wir empfehlen dir, dich direkt über unsere Website zu bewerben. So stellst du sicher, dass deine Bewerbung schnell und unkompliziert bei uns ankommt. Wir freuen uns darauf, von dir zu hören!
Wie man sich auf ein Vorstellungsgespräch bei Systems Lab 21 GmbH vorbereitet
✨Verstehe die Anforderungen
Mach dich mit den spezifischen Anforderungen der Stelle vertraut. Lies die Jobbeschreibung gründlich durch und überlege, wie deine Erfahrungen und Fähigkeiten zu den geforderten Qualifikationen passen. So kannst du gezielt auf die Erwartungen des Unternehmens eingehen.
✨Bereite konkrete Beispiele vor
Überlege dir konkrete Beispiele aus deiner bisherigen Berufserfahrung, die deine Fähigkeiten in den Bereichen formale Methoden, modellbasiertes Systems Engineering und sicherheitskritische Softwareentwicklung demonstrieren. Diese Beispiele helfen dir, deine Kompetenzen während des Interviews klar und überzeugend darzustellen.
✨Fragen vorbereiten
Bereite einige Fragen vor, die du dem Interviewer stellen möchtest. Das zeigt dein Interesse an der Position und am Unternehmen. Du könntest zum Beispiel nach den aktuellen Projekten oder den Technologien fragen, die im Team verwendet werden.
✨Technisches Wissen auffrischen
Stelle sicher, dass du dein technisches Wissen über Model Checking, Theorem Proving und andere relevante Verifikationstechniken auffrischst. Sei bereit, technische Fragen zu beantworten oder sogar praktische Probleme zu lösen, um deine Expertise zu zeigen.
