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

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

успешно завершенная университетская степень в области компьютерных наук или сопоставимая степень или обучение с соответствующим профессиональным опытом

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

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

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