Специалист по статическому анализу (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 месяцев; - работа в офисе в Москве - с возможностью частичной удаленной работы; - возможность совмещать с учебой; - оформление с первого рабочего дня, отпуск по ТК РФ; - индивидуальные проектные премии и премии по итогам деятельности компании; - бонусы: чай, кофе, легкие закуски, место на парковке.