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

В компании ведется разработка продуктов для защиты сетевого трафика, основной язык — C, немного C++; среда исполнения — кастомный Linux. Для повышения качества кодовой базы и прохождения сертификаций необходимо размечать предупреждения статических анализаторов:

1. определить реальный ли нашелся баг или код специально так написан;

2. обосновать свой вывод;

3. если баг реальный, иногда есть возможность описать его в виде запроса движку семантического поиска вроде semgrep.

Сотрудник будет принимать участие в анализе как основного кода продукта, так и кода зависимостей — open source проектов (Linux в том числе). В перспективе — делать разметки предупреждений (или верификацию чужих разметок) от Технологического центра исследования безопасности ядра Linux. Так как в компании много задач самого разного уровня, в зависимости от загруженности и компетенций конкретного сотрудника могут задействовать в разработке основного продукта или внутренних инструментов. Команда разработчиков состоит по большей части из сеньоров, проводятся корпоративные обучения, выступаем на конференциях — есть возможности развиваться.

На собеседовании:

— поинтересуемся вашим опытом при обучении (желательно заранее скинуть ссылки на проекты, код которых можно посмотреть);

— покажем статанализаторы (если посмотрите дома сами, будет замечательно), спросим мнение о конкретных предупреждениях в коде;

— расскажем подробнее о задачах и перспективах.

Обязанности:

— проведение разметки предупреждений статического анализатора (Svace/CodeChecker) наших основных продуктов и зависимостей;

— написание запросов для поиска семантических паттернов срабатываний анализаторов (CodeQL/semgrep);

— участие в разметках результатов статического анализа ядра Linux.

Мы ожидаем, что у вас есть:

— уверенное знание С;

— практический опыт использования Linux окружения;

— опыт работы с системой контроля версий git.

Плюсом будет:

— опыт работы с docker-контейнерами;

— владение инструментами командной строки (grep/sed/awk);

— знание скриптовых языков (bash/python).

Условия:

— испытательный срок до 3 месяцев;

— работа в офисе в Москве (основной офис с октября 2024 — м. Добрынинская/ Октябрьская, 10 минут пешком; дополнительный офис — м. Южная, 10 минут пешком), с возможностью частичной удаленной работы;

— возможность совмещать с учебой;

— оформление с первого рабочего дня, отпуск по ТК РФ;

— индивидуальные проектные премии и премии по итогам деятельности компании;

— бонусы: чай, кофе, легкие закуски, место на парковке.