Systems Lab 21 GmbH | Германия | 14xxx Potsdam | Работа на постоянной основе | Полный рабочий день / Домашний офис | Опубликовано: 04.06.2026 на stepstone.de
Инженер MBSE как разработчик формальных методов железной дороги (удалённый вариант, ) (м/ж/д)
Создайте вместе с нами цифровое будущее европейской железнодорожной системы. В Systems Lab 21 вы представите свой опыт в области формальных методов, разработки систем на основе моделей и разработки программного обеспечения для обеспечения безопасности в сложных железнодорожных проектах. Лаборатория 21 GmbH - независимая, прибыльная IT-инженерная компания из Потсдама. С 2021 года мы разрабатываем безопасное, масштабируемое программное обеспечение и инженерные решения для европейской железнодорожной инфраструктуры. Мы тесно сотрудничаем с операторами, производителями, регулирующими органами и европейскими партнерами с целью сделать мобильность более устойчивой, безопасной и цифровой. .
* После нажатия кнопки Читать далее откроется оригинальное объявление на сайте нашего партнера, где вы можете посмотреть детали этой вакансии и контактные данные. Если вам необходим перевод этого текста, то после возвращения на наш сайт он будет подготовлен и вы можете его прочитать, нажав на кнопку Показать весь перевод.
Ваши задания • Ваш профиль • Что мы предлагаем
- Архитектура, проектирование и внедрение продуктов и инструментов безопасности для железнодорожной инфраструктуры
- Применение методов проектирования систем на основе моделей с акцентом на формальное описание, проверку и валидацию
- Использование математически точных методов, таких как проверка моделей, доказательство теорем и автоматическая проверка
- Создание стандартизированных планов, отчетов, фактических данных и руководств по продуктам для процессов разработки, связанных с безопасностью
- Разработка надежных систем с высокой доступностью, надежностью, долговечностью и безопасностью
- Консультирование наших клиентов и разработка прагматичных, технически устойчивых решений
- Обмен знаниями, коучинг и профессиональная поддержка
- Техническая или экономическая ответственность проектов, отношения с клиентами и профессиональное развитие в команде
- Очень хорошее знание немецкого и английского языка в слове и письме, по крайней мере, C1
- Полные исследования, в идеале магистра или доктора, в математике, физике, системной инженерии, программной инженерии, электротехники или сопоставимого технического предмета
- Радость математического напряжения, логического мышления и точной спецификации сложных систем
- Опыт работы с проверкой моделей, доказательством теорем или другими формальными методами проверки практика с инструментами моделирования, спецификации или проверки, например B-метод, HLL, SCADE, Capella или SMT-решитель, такой как Z3
- Аналитическая работа, готовность учиться и наслаждаться обменом знаниями
- Прагматическое отношение и готовность внедрять новые технологии, стандарты и области по мере необходимости
- Плюс: опыт работы на железной дороге, в лучшем случае среда LST, например ETCS, EULYNX, блоки управления или логика безопасности
- Альтернативно: опыт работы в других критически важных областях безопасности, таких как аэрокосмическая промышленность, медицинские устройства или автомобилестроение
- Плюс: знание функциональной безопасности и связанных с ней процессов разработки, например V-модель, семейство IEC 61508 или EN 50126ff.
- Привлекательная зарплата и 30 дней оплачиваемого отпуска в год
- Дистанционный вариант в
- Германии; договорное местоположение -
- Потсдам 4 недели в год на независимую от сайта работу в ЕС
- Немецкий билет гибкое рабочее время
- Большое пространство для проектирования технологий, рабочей среды и устойчивой мобильности
- Поддерживайте свои цели обучения посредством обучения, конференций, специальной литературы и обмена в команде. Маленькая команда
Местонахождение
 | Systems Lab 21 GmbH | |
| Potsdam | ||
| Германия |
Текст этого объявления был переведен с немецкого на русский язык посредством системы автоматического перевода и может содержать как смысловые, так и лексические ошибки. Поэтому он может использоваться только в ознакомительных целях. Для более детальной информации перейдите к тексту оригинального объявления по ссылке ниже.
Для получения дополнительной информации читайте исходное объявление