Специалист по статическому анализу (C, Linux)

Ищем специалиста в компанию АМИКОН. Ведем разработку продуктов для защиты сетевого трафика, основной язык - C, немного C++; среда исполнения - кастомный Linux. Для повышения качества кодовой базы и прохождения сертификаций необходимо размечать предупреждения статических анализаторов:
1. определить реальный ли нашелся баг или код специально так написан,
2. обосновать свой вывод,
3. если баг реальный, разобраться в логике и исправить.
Сотрудник будет принимать участие в анализе кода заимствованных компонент - open source проекто.
В перспективе - делать разметки предупреждений (или верификацию чужих разметок) от Технологического центра исследования безопасности ядра Linux.

Отдел занимается статическим анализом, анализом предупреждений санитайзеров (ASAN/UBSAN/MSAN), бекпортированием исправлений CVE, поддержкой соответствующей инфраструктуры. Есть возможности развиваться - проводятся корпоративные обучения, посещаем курсы повышения квалификации, выступаем на конференциях.
На собеседовании:
- поинтересуемся вашим опытом (желательно заранее скинуть ссылки на проекты, код которых можно посмотреть, учебную деятельность тоже учитываем)
- расскажем подробнее о задачах и перспективах,
- если останется время, покажем стат. анализаторы (если посмотрите дома сами, будет замечательно), спросим мнение о конкретных предупреждениях в коде.

Обязанности:
- проведение разметки предупреждений статического анализатора (Svace/CodeChecker) заимствованных компонент
- исправление подтверждённых ошибок
- участие в разметках результатов статического анализа ядра Linux
- изучение и исправление уязвимостей компонент (патчить CVE)

Мы ожидаем, что у вас есть:
- уверенное знание С;
- практический опыт использования Linux окружения;
- опыт работы с системой контроля версий git;

Плюсом будет:
- знание C++, скриптовых языков (bash/python)
- владение инструментами командной строки (grep/sed/awk)
- опыт работы с docker-контейнерами

Условия:
- испытательный срок до 3 месяцев;
- работа в офисе в Москве (основной офис с марта 2025 - м. Добрынинская/ Октябрьская, 10 минут пешком; дополнительный офис - м. Южная, 10 минут пешком) с возможностью частичной удаленной работы;
- возможность совмещать с учебой;
- оформление с первого рабочего дня, отпуск по ТК РФ;
- индивидуальные проектные премии и премии по итогам деятельности компании;
- бонусы: чай, кофе, легкие закуски, ДМС, место на парковке.