Systems Lab 21 GmbH | Germany | 14xxx Potsdam | Permanent position | Full time / Home office | Published since: 04.06.2026 on stepstone.de
MBSE Engineer as Formal Methods Developer Railway (Remote Option, ) (m/f/d)
Design the digital future of the European rail system with us. At Systems Lab 21, you will introduce your expertise in formal methods, model-based systems engineering and safety-critical software development into challenging railway projects. Systems Lab 21 GmbH is an independent, profitable IT engineering company from Potsdam. Since 2021 we have developed secure, scalable software and engineering solutions for the European railway infrastructure. We work closely with operators, manufacturers, regulatory authorities and European partners - with the aim of making mobility more sustainable, safer and more digital. .
* After clicking the Read more button, the original advert will open on our partner's website, where you can see the details of this vacancy and contact information. If you need a translation of this text, after returning to our website it will be prepared and you can read it by clicking the Show full translation button.
Your tasks • Your profile • What we offer
Architecture, design and implementation of safety-relevant products and development tools for railway infrastructure Application of model-based system engineering methods with focus on formal specification, verification and validation Use of mathematically precise methods such as Model Checking, Theorem Proving and automated verification Creation of standardised plans, reports, evidence and product manuals for safety-relevant development processes Development of robust systems with high availability, reliability, durability and safety Consulting our customers and developing pragmatic, technically sustainable solutions Exchange of knowledge, coaching and professional support Technical or economic responsibility of projects, customer relationships and professional development in the team
Very good knowledge of German and English in word and writing, at least C1 Complete studies, ideally Master or Doctorate, in mathematics, physics, systems engineering, software engineering, electrical engineering or a comparable technical subject Joy of mathematical strenge, logical thinking and precise specification of complex systems Experience with Model Checking, Theorem Proving or other formal verification techniques practice with modeling, specification or verification tools, for example B-method, HLL, SCADE, Capella or SMT-solver, such as Z3 Analytical working, willingness to learn and enjoy sharing knowledge Pragmatic attitude and willingness to incorporate into new technologies, standards and domains as needed Plus: Experience in the railway, at best LST environment, e.g. ETCS, EULYNX, control units or safety logic Alternatively: Experience from other safety-critical areas, such as aerospace, medical devices or automotive Plus: knowledge of functional safety and related development processes, e.g. V-model, IEC 61508 family or EN 50126ff.
Attractive salary and 30 days paid vacation per year Remote option within Germany; contractual location is Potsdam 4 weeks per year on site-independent work within the EU Germany ticket flexible working hours Great design space for technology, working environment and sustainable mobility Support your learning goals through training, conferences, specialist literature and exchange in the team Small team
Location
 | Systems Lab 21 GmbH | |
| Potsdam | ||
| Germany |
The text of this ad was translated from German into English using an automatic translation system and may contain semantic and lexical errors. Therefore, it should be used for introductory purposes only. For more detailed information, see the original text of the ad at the link below.
For more information read the original ad