Разработчик программного обеспечения и эксперт по верификации (м/ж/д)

• Вы несете ответственность за разработку систем на основе компонентов, в частности критически важных для безопасности компонентов. При первичном использовании Ada/SPARK 2014 и применении формальных методов обнаружения критических свойств доверенных компонентов. Вы берете интеграцию во весь продукт, состоящий из аппаратных и программных компонентов, и поддерживаете тестирование, анализ ошибок и устранение неполадок, а также создание документации.

успешно завершенная университетская степень в области информатики, сопоставимая степень или соответствующий профессиональный опыт продвижение по соответствующим темам желательно, но не обязательно

• Знание или опыт разработки программного обеспечения, в идеале в области систем, связанных с безопасностью обширные знания или опыт по одному или нескольким предметам: защищенные языки программирования (Ada/SPARK, Rust, FRAMA-C и др.) формальные методы (Изабель,
• Кок, Why3, LEAN, SMT-Solving и др.)
• Разработка операционных систем, в частности микроядер, разделительного ядра и Linux
• Безопасность
• Прикладная криптография

• Очень хорошее знание немецкого и хорошего английского языка в слове и письме

• Реальный командный дух: командная работа в командах, которые движут изменениями, независимо от того, насколько сложны и обширны проекты. Социальная значимость:
• Мы работаем над решениями, которые обладают качествами Gamechanger во всех областях ИТ-безопасности. Индивидуальное развитие:
• Карьера для нас не стандартный рецепт. Мы развиваемся вместе и поддерживаем вас тем, что вам нужно для продолжения. Основное внимание уделяется человеку: сила заключается в нашем разнообразии. Мы уважаем друг друга такими, какие мы есть. Мы также находимся в центре примирения работы, семьи и частной жизни. Здесь мы сертифицированы с 2025 года
• Гибкая работа:
• Двенадцать офисов в
• Германии,
• Мобильный офис, модель Shared-Desk,
• Доверительное время работы и гибкие модели с частичной занятостью. Вот правильная модель для всех
• Солнце, пляж или горы:
• Работать на территории ЕС?
• Нет проблем -
• Вы можете работать удаленно в ЕС до 20 дней в году. Прекрасные преимущества Top:
• Наслаждайтесь лизингом велосипедов, корпоративной фитнес-программой, скидкой на билет на работу, секьюдогом и многим другим
• Если вы хотите работать на переднем крае технологического развития в условиях, характеризующихся доверием и справедливостью, мы должны узнать друг друга. .