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

20 Октября

Партнерские Вакансии

Город:

Москва

Занятость:

Стажировка

Компания "РусБИТех-Астра"

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

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

Требования:

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

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

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

Условия:

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

15 Октября

Ведущий специалист отдела тестирования/Системный администратор Linux

Москва

Компания "НПО АНГСТРЕМ" АО «Научно-производственное объединение Ангстрем» (сокр. АО «НПО Ангстрем») — российская научно-производственная...

Отправить резюме подробнее

15 Октября

Главный специалист по информационной безопасности( БАНК УРАЛСИБ )

Москва

Компания "БАНК УРАЛСИБ" Чем предстоит заниматься: администрировать, сопровождать современные зарубежные и отечественные средства...

Отправить резюме подробнее

15 Октября

Ведущий специалист по информационной безопасности( Цифровые привычки )

Москва

Компания "Цифровые привычки" Страховая компания предоставляющая широкий спектр страховых услуг как для физических, так и для юридических лиц....

Отправить резюме подробнее

16 Октября

Senior Python/PHP разработчик в отдел научно-технической разработки

Москва

Компания "Институт Искусственного Интеллекта" Мы ищем опыт ного Backend разработчика, который станет частью нашей команды и будет...

Отправить резюме подробнее

16 Октября

Заместитель начальника отдела нормативно-методического обеспечения

Москва

Компания "ФГБУ Центральный НИИ организации и информатизации здравоохранения Минздрава России" Обязанности: Разработка, согласование и...

Отправить резюме подробнее

Вакансия размещена в отрасли

Информационные технологии / IT / Интернет: