Developer C (KasperskyOS, Hardenings)

Дата размещения вакансии: 23.03.2025
Работодатель: Лаборатория Касперского
Уровень зарплаты:
з/п не указана
Город:
Москва
Ленинградское шоссе 39Ас1
Требуемый опыт работы:
От 3 до 6 лет

О проекте:

KasperskyOS – защищенная микроядерная операционная система. Это не очередной дистрибутив Linux, а собственная разработка, способная успешно конкурировать на международных рынках. Заложенный в KasperskyOS принцип кибериммунности позволяет разрабатывать безопасные решения из потенциально небезопасных компонентов.

Об отделе:

Разработкой KasperskyOS занимается отдел Secure Platform Development (SPD), состоящий из нескольких групп, которые отвечают за микроядро ОС, драйверы, системные компоненты, подсистему безопасности, средства виртуализации, а также обеспечивают непрерывный контроль качества разработки. Сейчас у команды много новых, интересных и сложных задач, так что она продолжает расти.

О команде:

Группа безопасности ядра отвечает за безопасность KasperskyOS – харденинги на уровне ядра и на уровне компиляторов, внедрение практик secure coding, статические и динамические анализаторы, фаззинги и исследования, нацеленные на безопасность KasperskyOS в общем и ядра в частности.

Задачи:

  • Изучение всего нового с точки зрения безопасности, что происходит в операционных системах;
  • Обеспечение безопасности KasperskyOS на различных аппаратных платформах:
  • реализацией дополнительных фич безопасности,
  • внедрением и разработкой дополнительного инструментария,
  • предложением по улучшению практик разработки.

Что требуется от кандидата:

  • Отличное владение языком программирования C;
  • Знание архитектур современных процессоров;
  • Понимание принципов построения операционных систем;
  • Знакомство с практиками Secure Coding и инструментарием статического и динамического анализа;
  • Хорошее знание clang;
  • Умение писать грамотные и понятные технические документы;
  • Английский язык на уровне чтения технической документации.

Желательно:

  • Опыт использования методов статического и динамического анализа;
  • Знание специфики разработки под специализированные ОС (real-time, embedded);
  • Вовлечение в сертификацию по стандартам функциональной безопасности (AUTOSAR, ISO26262);
  • Знания в области информационной безопасности;
  • Знакомство с Rust;
  • Знакомство с формальными методами.