Developer (группа подсистемы безопасности, команда разработки KasperskyOS)

О проекте:
KasperskyOS – защищенная микроядерная операционная система. Это не очередной дистрибутив Linux, а собственная разработка, способная успешно конкурировать на международных рынках. Заложенный в KasperskyOS принцип кибериммунности позволяет разрабатывать безопасные решения из потенциально небезопасных компонентов.
О команде:
Разработкой KasperskyOS занимается команда Secure Platform Development (SPD), состоящая из нескольких групп, которые отвечают за микроядро ОС, драйверы, приложения, подсистему безопасности, средства виртуализации, а также обеспечивают непрерывный контроль качества разработки. Сейчас у команды много новых, интересных и сложных задач, так что она продолжает расти.
О группе:
Группа разработки подсистемы безопасности занимается разработкой принципов обеспечения безопасности KasperskyOS, имплементацией моделей безопасности, развитием языка описания политик и компилятора для этого языка. Группа также отвечает за создание конфигураций безопасности для проектов на базе KasperskyOS.
Задачи:
•    Разработка ядра подсистемы безопасности;
•    Разработка/прототипирование/имплементация новых моделей безопасности;
•    Создание конфигураций безопасности на декларативном языке описания политик безопасности;
•    Разработка инструментов (компилятор, конфигуратор, verifier и т.д.);
•    Портирование решения в другие ОС.
Что требуется от кандидата:
•    Отличное знание языка программирования C;
•    Отличное знание классических алгоритмов и структур данных;
•    Опыт разработки кроссплатформенных приложений;
•    Умение писать надежный и безопасный код;
•    Знание подходов к тестированию написанного кода и опыт их практического применения;
•    Умение работать в команде;
•    Владение английским языком на уровне чтения технической документации.
Желательно:
•    Знакомство с открытыми системами контроля доступа (SMACK, SeLinux, GS Security);
•    Опыт использования средств изоляции ресурсов уровня ОС (cgroup, jail);
•    Знание теоретических основ информационной безопасности;
•    Знание моделей контроля доступа (TE, MLS, OCAP);
•    Знакомство с основными критериями безопасных систем (Common Criteria, Orange Book);
•    Опыт программирования на функциональных языках программирования (Haskell, ML) и интерес к ним;
•    Хорошее знание языка программирования C++.