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

компания "русбитех-астра" мы группа компаний «астра» – один из лидеров российской it-индустрии, ведущий производитель программного обеспечения, в том числе защищенных операционных систем и платформ виртуализации. разработка флагманского продукта, ос семейства astra linux, ведется с 2008 года. на сегодня в штате компании более 300 высококвалифицированных разработчиков и специалистов технической поддержки. наша миссия – обеспечить технологический суверенитет россии и ее лидерство в мировой it-индустрии путем создания базовых технологий, специального и пользовательского по. стратегическая цель – к 2030 году стать национальным производителем программных продуктов №1 что нужно будет делать: верифицировать с применением соответствующих инструментов исходного кода подсистем безопасности, включая модули ядра, ос разрабатывать формальные спецификации для исходного кода анализируемых программных модулей проверять (доказательство) соответствие реализации подсистем (модулей) безопасности формальной модели управления доступом (политики безопасности). что мы ждем от кандидата: высшее математическое или техническое образование (по направлениям математика, информационные технологии, информационная безопасность) знание архитектуры и уверенные навыки работы в ос семейства linux знание c/c++ для понимания кода прикладного и системного по знание формальных моделей управления доступом (например, харрисона-руззо-ульмана, белла-лападулы, take-grant, rbac, дпмоделей) знание методов верификации (дедуктивной, проверки моделей или др.), опыт применения инструментов верификации. будет плюсом: знание или опыт применения стандартов и иных нормативных документов по разработке безопасного по опыт применения средств фаззинг-тестирования (afl/afl++, libfuzzer,afl/afl++, libfuzzer, syzkaller и др.), статического и динамического анализа кода опыт анализа реализации/написания модулей ядра ос знание скриптовых языков программирования (afl/afl++, libfuzzer,bash, python и др.) опыт работы с git опыт внедрения, развития и оптимизации процессов ci/cd в gitlab. мы предлагаем: уверенность в будущем. мы чтим тк рф: у нас стабильный и прозрачный «белый» доход и полноценный соцпакет добираться легко. офис в 2 минутах ходьбы от станции метро нагатинская конкурентная заработная плата