Стажер Отдела анализа СЗИ и формальной верификации ( Анализ подсистем безопасности)

Обязанности:

• Анализ подсистемы безопасности ОС Astra Linux (на уровне модулей ядра) на корректность реализации и соответствие документации (с доступом к исходному коду).
• Участие в разработке системных автотестов для подсистемы безопасности ОС Astra Linux: составление тест-кейсов на соответствие формальной модели и заданным спецификациям; написание автотестов.
• Составление рекомендаций по устранению выявленных ошибок реализации подсистемы безопасности ОС Astra Linux.

Требования:

• Опыт работы с ОС семейства Linux.
• Понимание архитектуры ОС семейства Linux, знание eё штатных механизмов защиты.
• Знание языка С (для понимания кода системного ПО).
• Навыки применения скриптовых языков (Python, Bash).
• Умение чтения и составления технической документации.

Будет плюсом:

• Базовая математическая культура.
• Знание формальных моделей управления доступом (например, Харрисона-Руззо-Ульмана, Белла-ЛаПадулы, Take-Grant, RBAC, ДП-моделей).

Условия:

• Работа в ведущей IT-компании страны;
• Стажировка оплачивается и длится 6 месяцев;
• В случае успешного прохождения стажировки перспективы дальнейшего трудоустройства.