О проекте
KasperskyOS – защищенная микроядерная операционная система. Это не очередной дистрибутив Linux, а собственная разработка, способная успешно конкурировать на международных рынках. Заложенный в KasperskyOS принцип кибериммунности позволяет разрабатывать безопасные решения из потенциально небезопасных компонентов.
Об отделе
Разработкой KasperskyOS занимается отдел Secure Platform Development (SPD), состоящий из нескольких групп, которые отвечают за микроядро ОС, драйверы, системные компоненты, подсистему безопасности, средства виртуализации, а также обеспечивают непрерывный контроль качества разработки. Сейчас у команды много новых, интересных и сложных задач, так что она продолжает расти.
О команде
Команда разработки подсистемы безопасности занимается разработкой принципов обеспечения безопасности KasperskyOS, имплементацией моделей безопасности, развитием языка описания политик и компилятора для этого языка.
Задачи
- Проектирование, разработка и поддержка модуля ядра для рантайм части подсистемы безопасности.
- Разработка и поддержка скриптов сборки этого модуля.
- Разработка тестов и документации для этого модуля.
-
Проектирование интерфейсов для взаимодействия с подсистемой безопасности.
-
Обеспечение требований надежности, производительности к самой подсистеме безопасности.
Что требуется от кандидата
- Отличное владение языком программирования C.
- Отличное знание классических алгоритмов и структур данных.
- Отличное понимание принципов построения операционных систем.
- Знание подходов к тестированию написанного кода и опыт их практического применения.
- Знание английского языка на уровне чтения технической документации.
- Знание инструментов разработки в Unix системах (Linux, BSD и пр.).
- Знание Git, CMake; Make, Clang.
- Опыт многопоточного программирования.
- Опыт разработки в ядре Linux.
- Опыт работы в команде, знакомство с процессами Code Review, CI/CD.
Желательно
- Знакомство с особенностями микроядерных операционных систем.
- Опыт кросплатформенной разработки.
- Опыт кросплатформенной разработки.
- Хорошее знание языка программирования C++.
- Знание языка программирования Haskell.
- Знания в области информационной безопасности.
- Знание теории языков программирования.
- Знание теоретических основ информационной безопасности.
- Знание моделей контроля доступа (Bell-LaPadula, Biba, TE, RBAC, OCAP).
- Знание теоретических основ операционных систем.
- Знакомство с основными критериями безопасных систем (Common Criteria, Orange Book, ГОСТ).