Разработчик алгоритмов
Требования
Условия
Компания
Одна из ведущих российских компаний, специализирующаяся на разработке ПО в области информационной безопасности
Описание вакансии
Условия работы
Проект по разработке средства автоматизированного анализа исходных кодов, комбинирующего в себе методы статического, динамического и интерактивного анализа, на предмет наличия уязвимостей.
Основная задача:
- Участие в разработке средства обнаружения уязвимостей в исходных кодах приложений.
Пожелания с технической стороны:
- Понимание принципов работы компиляторов;
- Хорошее знание алгоритмов на графах и теории множеств;
- Желателен опыт решения задач статического анализа;
- Опыт разработки на одном из следующих языков программирования: Java, C#, Python;
Приветствуется:
- Понимание принципов автоматического доказательства теорем;
- Понимание принципов web-разработки;
- Понимание механизмов обнаружения и эксплуатации основных категорий уязвимостей.