Компания: R&D Центр телекоммуникационной компании

Уровень ЗП: до 400k руб на руки
Формат: работа в офисе г.Москва
Занятость: Полный рабочий день(гибкое начало и конец)
Трудоустройство: официальное

Кого мы ищем:

- инженера на тестирование и верификацию компилятора на основе LLVM

Обязателен опыт работы с одной или несколькими технологиями:

- Fuzzing
- Symbolic execution, concolic (dynamic symbolic) execution
- Formal verification
- SMT solvers
- pseudo-random /direct test generators
- model checking
- domain specific languages

Навыки:

- статический и/или динамический анализ кода (бинарный, IR)
- организация регрессионного тестирования
- тестирование компилятора
- чтение и понимание ассемблера / дизассемблера
- владение английским языком на приемлемом разговорном уровне

Знания:

- понимание архитектуры CPU

Пожелания:

- знание архитектуры компилятора, LLVM IR, векторизация, понимание различных способов тестирования и верификации, знание 64-битного ARM.

Для связи: @‌daria_hw1