Разработчик алгоритмов

Проект по разработке средства автоматизированного анализа исходных кодов, комбинирующего в себе методы статического, динамического и интерактивного анализа, на предмет наличия уязвимостей.

Основная задача:

• Участие в разработке средства обнаружения уязвимостей в исходных кодах приложений.

Пожелания с технической стороны:

• Понимание принципов работы компиляторов;
• Хорошее знание алгоритмов на графах и теории множеств;
• Желателен опыт решения задач статического анализа;
• Опыт разработки на одном из следующих языков программирования: Java, C#, Python;

Приветствуется:

• Понимание принципов автоматического доказательства теорем;
• Понимание принципов web-разработки;
• Понимание механизмов обнаружения и эксплуатации основных категорий уязвимостей.