Специалист по верификации программного кода и защите информации

Требуемый опыт работы От 1 года до 3 лет

Тип занятости Полная занятость

В Astra Linux требуется специалист по защите информации, научному сопровождению разработки программных технологий информационной безопасности.

Группа компаний Astra Linux – один из лидеров российской IT-индустрии, ведущий производитель программного обеспечения, в том числе защищенных операционных систем и платформ виртуализации. Разработка флагманского продукта, ОС семейства Astra Linux, ведется с 2008 года. На сегодня в штате компании более 300 высококвалифицированных разработчиков и специалистов технической поддержки.

Наша миссия – обеспечить технологический суверенитет России и ее лидерство в мировой IT-индустрии путем создания базовых технологий, специального и пользовательского ПО.

ГК Astra Linux – член ассоциации «Руссофт» и АРПП, обладатель множества дипломов, лауреат национальных и международных премий за уникальные решения в области создания и реализации защищенных информационных систем.

Стратегическая цель – к 2030 году стать национальным производителем программных продуктов No1, обеспечивающим, с одной стороны, потребности рынка IT в специализированных и общих решениях и, с другой стороны, формирующим единые стандарты этого рынка в Российской Федерации.

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

  • верификация с применением соответствующих инструментов исходного кода подсистем безопасности, включая модули ядра, ОС;

  • разработка формальных спецификаций для исходного кода анализируемых программных модулей;

  • проверка (доказательство) соответствия реализации подсистем (модулей) безопасности

    формальной модели управления доступом (политики безопасности).

Требования:

  • высшее математическое или техническое образование (по направлениям математика, информационные технологии, информационная безопасность);

  • знание архитектуры и уверенные навыки работы с ОС семейства Linux;

  • знание C/C++ для понимания кода прикладного и системного ПО;

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

  • знание методов верификации (дедуктивной, проверки моделей или др.), опыт применения инструментов верификации.

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

  • ученая степень по специальностям математика, информационные технологии, информационная безопасность и/или наличие научных статей по направлению верификации формальный моделей и программного кода;

  • опыт разработки формальных моделей управления доступом в компьютерных системах;

  • знание языка спецификации ACSL, опыт работы с платформой FRAMA-C;

  • опыт разработки плагинов для расширения функциональных возможностей платформы FRAMA-C;

  • знания языка формального метода Event-B, опыт применения инструментов Rodin или ProB;

  • опыт анализа реализации/написания модулей ядра ОС;

  • знание скриптовых языков программирования (например, bash, python и др.);

  • опыт работы с git;

  • опыт внедрения, развития и оптимизации процессов CI/CD в GitLab.

Условия:

  • График в твоем ритме. Мы здесь ради результата, а не процесса. Начинай свой рабочий день, когда тебе удобно, просто договорись с руководителем. У нас не принято стоять с секундомером на проходной, а вот пунктуальность на общих встречах мы ценим, так как бережно относимся к времени коллег;
  • Уверенность в будущем. Мы чтим ТК РФ: у нас стабильный и прозрачный «белый» доход и полноценный соцпакет;
  • Судьба отрасли — в наших руках. Мы уже сейчас лидеры индустрии, но продолжаем быстро расти: создаем экосистему, на которую у других ушли десятилетия. Если хочешь быть соавтором громкого российского и международного успеха — тебе сюда;
  • Добираться легко. Офис в 2 минутах ходьбы от станции метро Нагатинская или 10 минут от МЦК Верхние Котлы;
  • Конкурентная заработная плата.

Адрес: Москва, Варшавское шоссе, 26

Откликнуться на вакансию: Специалист по верификации программного кода и защите информации

Резюме

Максимум 1 файл размером до 5 МБ.
Анкета по приему на работу