Специалист по анализу подсистем безопасности

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

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

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

• Анализ подсистемы безопасности ОС Astra Linux (на уровне модулей ядра) на корректность реализации и соответствие документации (с доступом к исходному коду).
• Участие в разработке системных автотестов для подсистемы безопасности ОС Astra Linux: составление тест-кейсов на соответствие формальной модели и заданным спецификациям; написание автотестов.
• Составление рекомендаций по устранению выявленных ошибок реализации подсистемы безопасности ОС Astra Linux.

Требования:

• Опыт работы с ОС семейства Linux.

• Понимание архитектуры ОС семейства Linux, знание eё штатных механизмов защиты.

• Знание языка С (для понимания кода системного ПО).

• Навыки применения скриптовых языков (Python, Bash).

• Навык чтения и составления технической документации.

• Навыки работы с Git.

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

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

Условия:

• Уверенность в будущем. Мы чтим ТК РФ: у нас стабильный и прозрачный «белый» доход и полноценный соцпакет.

• Забота о здоровье. Оформим полис ДМС со стоматологией.

• Спорт — это про нас. У нас многие увлекаются сноубордом, лыжами, дайвингом, бегом и пр. – найти кого-то для afterwork-активностей не проблема. Чтобы можно было размяться и в офисе, обустроено отдельное место. Мы спонсируем тренировки футбольной и волейбольной команд, поддерживаем инициативы по киберспорту и приходим на турниры по настольному футболу просто поболеть.

• Конкурентная заработная плата.

• Добираться легко. Офис в 3 минутах ходьбы от станции метро Нагатинская или 10 минут от МЦК Верхние Котлы

• Удаленка или офис? Тебе решать. Можно работать где угодно: дома, в офисе или в гибридном режиме. Нам важны результаты, а не то, где ты находишься.