от компании (организации): ООО РусБИТех-Астра в городе (населённом пункте): Москва, Россия
в отрасли экономики "Информационные технологии, интернет, телеком" → "Другое"
с заработной платой: по договоренности
Вакансия № 22833306 добавлена в базу данных сайта Работа в Москве и Московской области (МО, Подмосковье): Среда, 16 октября 2024 года.
Дата обновления вакансии № 22833306 на сайте Работа в Москве и Московской области (МО, Подмосковье): Пятница, 15 ноября 2024 года.
Обращаем Ваше внимание, что на момент обращения к работодателю вакансия № 22833306 может быть уже занята. Администрация сайта Работа в Москве и Московской области (МО, Подмосковье) приносит извинения за доставленные неудобства.
Требования к опыту работы:
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 минут от МЦК Верхние Котлы;
- Конкурентная заработная плата.
Откликнуться на эту вакансию: Специалист по верификации программного кода и защите информации
Предыдущая вакансия:
Вакансия № 22833302 на должность Ведущий инженер (1C, MSSQL) от компании ООО Страховая компания «Сбербанк страхование» в городе (населенном пункте) Москва