Москва
Ленинградское шоссе 39Ас1
Ленинградское шоссе 39Ас1
О проекте:
KasperskyOS – защищенная микроядерная операционная система. Это не очередной дистрибутив Linux, а собственная разработка, способная успешно конкурировать на международных рынках. Заложенный в KasperskyOS принцип кибериммунности позволяет разрабатывать безопасные решения из потенциально небезопасных компонентов.
Об отделе:
Разработкой KasperskyOS занимается отдел Secure Platform Development (SPD), состоящий из нескольких групп, которые отвечают за микроядро ОС, драйверы, системные компоненты, подсистему безопасности, средства виртуализации, а также обеспечивают непрерывный контроль качества разработки. Сейчас у команды много новых, интересных и сложных задач, так что она продолжает расти.
О команде:
Группа безопасности ядра отвечает за безопасность KasperskyOS – харденинги на уровне ядра и на уровне компиляторов, внедрение практик secure coding, статические и динамические анализаторы, фаззинги и исследования, нацеленные на безопасность KasperskyOS в общем и ядра в частности.
Задачи:
- Изучение всего нового с точки зрения безопасности, что происходит в операционных системах;
- Обеспечение безопасности KasperskyOS на различных аппаратных платформах:
- реализацией дополнительных фич безопасности,
- внедрением и разработкой дополнительного инструментария,
- предложением по улучшению практик разработки.
Что требуется от кандидата:
- Отличное владение языком программирования C;
- Знание архитектур современных процессоров;
- Понимание принципов построения операционных систем;
- Знакомство с практиками Secure Coding и инструментарием статического и динамического анализа;
- Хорошее знание clang;
- Умение писать грамотные и понятные технические документы;
- Английский язык на уровне чтения технической документации.
Желательно:
- Опыт использования методов статического и динамического анализа;
- Знание специфики разработки под специализированные ОС (real-time, embedded);
- Вовлечение в сертификацию по стандартам функциональной безопасности (AUTOSAR, ISO26262);
- Знания в области информационной безопасности;
- Знакомство с Rust;
- Знакомство с формальными методами.