Ведущий инженер-программист (AppSec)

Локация: удалённо; Москва, Санкт-Петербург или Казань

Компания

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

Что делать

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

Требования

• Высшее техническое образование в области информационной безопасности или информационных технологий.
• Опыт работы с ядром Linux и участия в разработке или анализе open-source проектов Linux, QEMU или libvirt.
• Знание Java, Linux, KVM/QEMU, TCP/IP, netfilter, eBPF и OVS.
• Навыки статического анализа, фаззинга системного ПО, отладки и анализа дампов памяти.
• Умение работать с Git и патч-менеджментом, включая git send-email и lore.kernel.org.
• Английский язык требуется для чтения и написания технических отчётов и общения с upstream.

Хорошо, если есть

• Знание ассемблера x86, ARM или RISC-V.
• Опыт применения формальных методов верификации.
• Понимание атак на гипервизоры, включая Spectre/Meltdown и VM escape.
• Навыки обратной разработки.

Культура и преимущества

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