Разработчик трансляторов и декомпиляторов ("НТЦ "Станкоинформзащита" - РФ, Москва)

[ntcsiz]

В рамках увеличения объемов работ мы ищем несколько (талантливых) разработчиков-алгоритмистов.

Что мы хотели бы видеть:
- Уверенное знание теории компиляции и разделов математики, с ней связанных
- Хорошее знание процессорной архитектуры x86 и/или ARM32
- Навыки обратной разработки приложений без исходного кода
- Свободное владение языками программирования C++ и Python

Что будет плюсом для нас:
- опыт в разработке средств декомпиляции двоичного кода
- знакомство с какими-либо промежуточными представлениями машинного кода (IR): REIL, LLVM, VEX
- знакомство с процессорными архитектурами PowerPC, MIPS и др.
- знакомство с техникой тестирования программ Symbolic Execution

Просто замечательно, если вы обладаете навыками распределения задач между участниками небольшой группы программистов (3-5 человек).

Задачи, которые нужно будет выполнять:
- Разработка модулей статического анализа двоичного кода популярных архитектур
- Разработка средств трансляции исходного кода (Source to Source)
- Взаимодействие с другими разработчиками и исследователями
- Документирование и тестирование создаваемого ПО