CompilerJobs

Compiler Engineer (MLIR / AI Compiler)

📍 Санкт-Петербург, R&D, формат работы: офис 5/2

🔥 Ищем разработчика в команду создания AI-компилятора на базе MLIR для специализированных ИИ-процессоров. Будем рады видеть кандидатов с опытом в разработке компиляторов, знакомых с архитектурой NPU и желающих участвовать в создании многоуровневого стека — от графовых оптимизаций до тонкого контроля «железа».

🔍 Чем предстоит заниматься:

— Разработка AI-компилятора на основе MLIR

— Оптимизация программ на уровне графов вычислений и тензорных операций

— Разработка и оптимизация AI-моделей под целевую аппарат

Compiler Engineer (Verification)

📍 Москва , R&D центр международной компании

🌟 Ищем мидла / джуна в команду тестирования и верификации компилятора на базе LLVM. Будем рады видеть кандидатов с опытом в фаззинге, символьном исполнении, SMT-решателях или формальных методах.

🔍 Что нужно знать и уметь:

— Fuzzing / Symbolic execution / Formal verification / SMT solvers (хотя бы одно)

— Читать ассемблер и понимать архитектуру CPU

— Статический / динамический анализ кода (бинарный, IR)

— Организация регрессионного тестирования

— Также must have: высшее образование, разговорный английский язык, готов

C++/Compiler Engineer (Operations Systems development Lab)

Москва/Санкт-Петербург, R&D центр международной компании

Мы - команда разработчиков компиляторов в лаборатории операционных систем и наша команда разрабатывает новый язык программирования и виртуальную машину для запуска пользовательских приложений на базе собственной ОС.

Подробное описание: https://telegra.ph/S-developer-01-26

Вопросы и резюме в ТГ @gigi_ulli

#compiler #toolchain #GCC #LLVM #Clang #JIT #Moscow #SPb

Compiler Engineer (Verification)

📍 Москва / Санкт-Петербург, R&D центр международной компании

🌟 Ищем мидла / джуна в команду тестирования и верификации компилятора на базе LLVM. Будем рады видеть кандидатов с опытом в фаззинге, символьном исполнении, SMT-решателях или формальных методах.

🔍 Что нужно знать и уметь:

— Fuzzing / Symbolic execution / Formal verification / SMT solvers (хотя бы одно)

— Читать ассемблер и понимать архитектуру CPU

— Статический / динамический анализ кода (бинарный, IR)

— Организация регрессионного тестирования

— Также must have: высшее образование, разговорный англи

LLVM / AI Compiler Engineer (Junior to Senior level experts)

We are working on project that involves the development of a specialized AI compiler. A traditional compiler translates a source into an (IR) for optimizations and final code generation. We want this system to take a NN model from an ML framework as its input. Then construct its own IR with a set of AI-specific optimizations, and then generate low-level code targeted for NPUs (Ascend / ARM) to maximize execution performance. We see that this project has a very high potential in various applications.

If you are excited to engage in