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

Дата размещения вакансии: 23.10.2024
Работодатель: Группа компаний Астра
Уровень зарплаты:
з/п не указана
Город:
Москва
Требуемый опыт работы:
От 1 года до 3 лет

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

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

Требования:

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

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

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

Условия:

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