• верификация с применением соответствующих инструментов исходного кода ПО
• разработка формальных спецификаций для исходного кода анализируемых программных модулей
• проверка соответствия реализации ПО формальной модели политики безопасности

• высшее математическое или техническое образование ( информационная безопасность, информационные технологии)
• знание архитектуры OC Linux
• знание С/С++ либо желание разобраться для понимания кода ПО
• знание формальных моделей управления доступом
• знание методов верификации ( дедуктивной, проверки моделей или другой)
• опыт применения инструментов верификации
• Ваши Преимущества:
• знание или опыт применения стандартов и иных нормативных документов по разработке безопасного ПО
• знание скриптовых языков программирования ( например:bash, python)
• опыт работы с Git
• опыт внедрения, развития и оптимизации процессов CI/CD в Gitlab
• опыт разработки формальных моделей управления доступом в компьютерных системах

Условия:

• официальное трудоустройство
• комфортное рабочее место в центре города: пр.Соколова, 96 ( район кольца ЦГБ)
• отсрочка от мобилизации
• интересные проекты, возможности реализовать себя как профессионально , так и в карьерном плане
• мотивационный пакет готовы обсуждать