Стажер Отдела анализа СЗИ и формальной верификации

20 Октября

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

Город:

Москва

Занятость:

Стажировка

Опыт:

Нет опыта

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

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

  • Разработка формальных спецификаций для подсистемы безопасности ОС Astra Linux.
  • Формальная верификация подсистемы безопасности на соответствие модели управления доступом.
  • Доказательство свойств формальной модели управления доступом.

Требования:

  • Базовая математическая культура.
  • Знакомство с логикой Флойда-Хоара.
  • Знакомство с Coq (или другим инструментом интерактивного доказательства теорем).
  • Знание языка С (для понимания кода системного ПО).
  • Опыт работы с ОС семейства Linux.

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

  • Опыт формальной верификации императивного кода, особенно опыт с VST, Iris или Frama-C.
  • Знакомство с формальными моделями управления доступом (например, Харрисона-Руззо-Ульмана, Белла-ЛаПадулы, Take-Grant, RBAC, ДП-моделями).

Условия:

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

15 Октября

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

Москва

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

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

16 Октября

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

Москва

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

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

16 Октября

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

Москва

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

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

16 Октября

Стажер Ruby-разработчик

Москва

Компания "Самокат (ООО Умное пространство)" Привет! На связи продуктово-технологическая команда Ecom.tech. Сейчас у нас открыта вакансия...

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

16 Октября

Руководитель отдела развития продуктов

Москва

Компания "Отус" OTUS — это технологичная образовательная платформа. OTUS сегодня – это более 160 авторских курсов для IT-специалистов из...

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

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

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