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

19 Ноября

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

Город:

Москва

Занятость:

Стажировка

Опыт:

Нет опыта

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

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

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

Требования:

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

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

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

Условия:

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

Открыть контакты работодателя на полной версии сайта

ОТПРАВИТЬ РЕЗЮМЕ
Похожие вакансии

13 Ноября

ГИП/Руководитель технического отдела (водоснабжение, канализация)

Москва

от 180 000 руб.

Компания "ТД, Инженерное оборудование" Компания ООО «ТД «Инженерное оборудование»- производитель лучших отечественных установок для очистки...

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

13 Ноября

Начальник отдела( Азиатско-Тихоокеанский Банк )

Москва

Компания "Азиатско-Тихоокеанский Банк" Обязанности: Управление и координация работы команды для достижения проектных целей;...

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

13 Ноября

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

Москва

Компания "Иннотехнум, Группа компаний" В рамках компании сейчас открыт набор стажеров разработчиков PHP , и наш Центр компетенций готов...

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

13 Ноября

Главный специалист отдела аудита информационных технологий (м.Международная)

Москва

Компания "Россельхозбанк" Обязанности: Участие в аудиторских проверках в области ИТ-технологий; Выявление и оценка ИТ рисков, в том числе...

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

13 Ноября

Старший сетевой инженер / руководитель отдела

Москва

от 300 000 руб.

Компания "АйПильсин" Должностные обязанности: Управление и развитие комплекса серверов и сети оператора связи. Мониторинг...

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

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

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