🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
Compiler Engineer (Verification)
📍 Москва / Санкт-Петербург, R&D центр международной компании
🌟 Ищем мидла / джуна в команду тестирования и верификации компилятора на базе LLVM. Будем рады видеть кандидатов с опытом в фаззинге, символьном исполнении, SMT-решателях или формальных методах.
🔍 Что нужно знать и уметь:
— Fuzzing / Symbolic execution / Formal verification / SMT solvers (хотя бы одно)
— Читать ассемблер и понимать архитектуру CPU
— Статический / динамический анализ кода (бинарный, IR)
— Организация регрессионного тестирования
— Также must have: высшее образование, разговорный английский язык, готовность к офису 5/2
📱 Вопросы и резюме в Telegram: @daria_hw1
#compiler #LLVM #fuzzing #verification #ARM #верификация #тестирование #Moscow #SPb