R0 CREW

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

ru
vacancy
#1

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

Что мы хотели бы видеть:

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

Что будет плюсом для нас:

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

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

Задачи, которые нужно будет выполнять:

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