Москва
Обязанности:
- Анализ подсистемы безопасности ОС Astra Linux (на уровне модулей ядра) на корректность реализации и соответствие документации (с доступом к исходному коду).
- Участие в разработке системных автотестов для подсистемы безопасности ОС Astra Linux: составление тест-кейсов на соответствие формальной модели и заданным спецификациям; написание автотестов.
- Составление рекомендаций по устранению выявленных ошибок реализации подсистемы безопасности ОС Astra Linux.
Требования:
- Опыт работы с ОС семейства Linux.
- Понимание архитектуры ОС семейства Linux, знание eё штатных механизмов защиты.
- Знание языка С (для понимания кода системного ПО).
- Навыки применения скриптовых языков (Python, Bash).
- Умение чтения и составления технической документации.
Будет плюсом:
- Базовая математическая культура.
- Знание формальных моделей управления доступом (например, Харрисона-Руззо-Ульмана, Белла-ЛаПадулы, Take-Grant, RBAC, ДП-моделей).
Условия:
- Работа в ведущей IT-компании страны;
- Стажировка оплачивается и длится 6 месяцев;
- В случае успешного прохождения стажировки перспективы дальнейшего трудоустройства.