инженер-программист системного ПО

Базис; United States; Remote; USD 120,000 - 210,000; Full time

Benefits offered by this job

Гибкий график

Социальный пакет

ДМС

Оплата мобильной связи

Job summary

Компания BASIS занимается разработкой облачных решений и инфраструктурных платформ, проводит анализ исходного кода ядра Linux, KVM/QEMU, libvirt и сетевых технологий. Приоритет — поиск уязвимостей CWE/CVE, настройка фаззеров и взаимодействие с upstream-разработчиками.

Требуется высшее техническое образование и опыт в статическом анализе, фаззинге, работе с GDB и системной безопасностью. Предоставляется работа по 5/2, с социальным пакетом и премиями.

Qualifications

• Высшее техническое образование в области информационной безопасности или информационных технологий.
• Опыт работы с ядром Linux: понимание архитектуры и чтение кода.
• Знание Java и участие в open-source проектах (Linux ядро, QEMU, libvirt).
• Навыки статического анализа: Coverity, Coccinelle, CodeQL.
• Опыт фаззинга системного ПО: syzkaller, AFL++, Trinity.
• Понимание виртуализации (Intel VT-x/AMD-V, KVM, QEMU).

Responsibilities

• Анализ исходного кода ядра Linux, KVM/QEMU и сетевых технологий.
• Настройка и запуск фаззеров для тестирования гипервизоров и ядра.
• Поиск уязвимостей CWE/CVE и исправление найденных ошибок.
• Подготовка репортов и работа с upstream-разработчиками.
• Анализ дампов памяти и race conditions.
• Проверка соответствия стандартам безопасности (LS-Protect, CERT C).

Skills

Ядро Linux

KVM/QEMU

libvirt

Сетевые драйверы

Статический анализ

Фаззинг ПО

Обратная разработка

Где/Git

GDB/Debug

Java

Education

Высшее техническое образование

Tools

Coverity

Coccinelle

CodeQL

sparse

Smatch

Git

Job description

Описание

BASIS — разработчик программных продуктов для оказания облачных услуг и платформы динамической инфраструктуры. Компания BASIS занимается поставкой и интеграцией решений виртуализации крупнейшим государственным и коммерческим заказчикам. Мы занимаем активную позицию в вопросе замещения импортных решений нашими.

Задачи

• Анализ исходного кода ядра Linux, KVM/QEMU, libvirt, сетевых драйверов и технологий (OVS, DPDK), файловых систем (ext4, XFS, Btrfs)
• Использование инструментов: Coverity, Coccinelle, sparse, Smatch, CodeQL
• Поиск уязвимостей классов CWE, CVE (memory corruption, race conditions, privilege escalation)
• Настройка и запуск фаззеров (syzkaller, AFL++, libFuzzer, kAFL) для тестирования ядра и виртуализации
• Анализ крашей, написание репортов и работа с upstream-разработчиками
• Работа с KASAN, UBSAN, KMSAN, GDB, kgdb, perf, ftrace
• Анализ дампов памяти, race conditions (lockdep, KCSAN)
• Исправление найденных проблем (патчинг, backport исправлений)
• Проверка на соответствие стандартам безопасности (Linux Kernel Self-Protection Project, CERT C)
• Анализ механизмов SELinux, AppArmor, seccomp, namespaces, cgroups
• Проверка конфигураций виртуализации (KVM hardening)
• Настройка автоматических проверок в Jenkins, GitLab CI, KernelCI, LKFT

Требования

• Высшее техническое образование в области информационной безопасности или информационных технологий
• Опыт работы с ядром Linux (понимание архитектуры, знакомство с кодом)
• Знание Java
• Участие в разработке/анализе open-source проектов (ядро Linux, QEMU, libvirt)
• Навыки статического анализа (Coverity, Coccinelle, CodeQL)
• Опыт фаззинга системного ПО (syzkaller, AFL++, Trinity)
• Понимание аппаратной виртуализации (Intel VT-x/AMD-V, KVM, QEMU)
• Знание сетевых протоколов и подсистем (TCP/IP, netfilter, eBPF, OVS)
• Опыт отладки (GDB, kgdb, crash-утилиты, трассировка)
• Умение работать с git, патч-менеджментом (git send-email, lore.kernel.org)
• Английский (чтение/написание технических отчетов, общение с upstream)
• Будет плюсом: Знание ассемблера (x86/ARM/RISC-V) для анализа low-level уязвимостей; Опыт работы с формальными методами верификации (например, для драйверов); Понимание атак на гипервизоры (Spectre/Meltdown, VM escape); Навыки обратной разработки (reverse engineering)

Условия

• Трудоустройство согласно ТК РФ
• Конкурентная заработная плата по итогам собеседования
• Премии каждый квартал
• График работы 5/2 пн-пт, гибкое начало дня
• Социальный пакет (ДМС, оплата мобильной связи)