CompilerJobs

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: высшее образование, разговорный английский язык, готовность к офису 5/2

📱 Вопросы и резюме в Telegram: @daria_hw1
#compiler #LLVM #fuzzing #verification #ARM #верификация #тестирование #Moscow #SPb

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 such a project then we invite you to apply to our position.

Responsibilities:
- Responsible for the development of AI compiler based on MLIR.
- Responsible for Graph Level and Tensor Level Program Optimization
- Develop and improve compiler optimizations for target AI models

Qualifications:
- Hands-on experience with LLVM, great if have experience with AI Compilers development
- Experience with NPU architecture or AI development.
- Understanding basic hardware specifications and applying that knowledge to software design, develop and validate.
- Excellent if proficient in Micro-architecture research
- Background with standard AI and compiler frameworks, e.g. TVM/MLIR/LLVM/TensorFlow.
- Self-motivated and collaborative with teammates.

Contact: https://t.me/MasterYodaZelyonki
Location: Novosibirsk (Akadem)

#llvm #compiler #nsrc

Вакансия: Programming language engineer

🔥Ищем RnD инженера для работы с экосистемой нового языка программирования

🎯Если у вас есть опыт работы с компиляторами, интерес к языкам программирования и понимание языковых парадигм, присоединяйтесь к нашей команде в Петербурге!

Коллеги работают над созданием универсального мультипарадигмального языка программирования с поддержкой задач масштабирования - решением нового поколения для разнообразных интеллектуальных приложений. Глобальное open source комьюнити языка (с превалированием азиатского региона) также будет развиваться.

Предполагается работа по усовершенствованию самого языка (RnD новых языковых возможностей), разработке и внедрению тестового фреймворка для языка, улучшению других частей языковой экосистемы, библиотек, инструментов, IDE

Команда ожидает интерес к изучению языков программирования, особенно современных статически типизированных языков, понимание концепций языков программирования и их классификации, знакомство с различными языками программирования, особенно современными, такими как Swift, Rust, Go, TypeScript или Kotlin

Опыт с Java, C#, Scala, C++ или другим статически типизированным языком

Знакомство с компиляторной теорией и интерес к работе с компилятором.

Опыт разработки/проектирования в одной из следующих областей:

-компиляторы
-инструменты для сборки и другие тулы для разработчиков
-IDE и плагины
-инструменты статического анализа кода
-библиотеки и дизайн API

🔍 Подробности по ссылке: https://telegra.ph/Programming-language-engineer-11-05

По любым вопросам пишите в tg: @sergey_grachev_spb

Международный исследовательский центр с IT аккредитацией находится в поиске Compiler developer.

What to do:
Analysis of compilation performance and speed;
Implements and improves optimizations;
Encoding and writing assembly code for different backends (Aarh64 and X86);
Optimizes interop with runtime.

What you need:
At least two from above:
system programming on C++ or C;
knowledge of compiler optimizations, algorithms, terminology;
knowledge about ARM and/or X86 architectures;
General knowledge about the working of a virtual machine.

Nice to have:
compiler development experience(LLVM, GCC, Art, GVM e.t.c);
deep knowledge ARM and/or X86 architectures - instruction set, hardware knowledge e.t.c.;
A great desire to optimize the code.

Joining us, you will get:
“A” class business center in St Petersburg or Moscow(relocation assistance provided if it's needed) - full-time office work, 5/2;
Flexible working hours, no dress code;
Medical insurance with dental care included, and travel insurance;
Friendly team, interesting projects, opportunity for business trips;
An opportunity to build the product that will be used by millions of people around the world;
An opportunity to visit professional conferences that you are interested in.

Контакт для связи - @RecruiterO

Ищем разработчика компиляторов из Москвы или Санкт-Петербурга. Формат работы гибридный - от 1 дня посещения офиса в неделю.

Наш проект - международный RnD центр, который разрабатывает операционную систему открытого типа, а также создает уникальную экосистему.

Разработка охватывает все сферы от ядра операционки и собственного языка программирования до вспомогательных инструментов. Лаборатория включает в себя команды из четырех стран: Россия, Китай, Венгрия, Турция и состоит из более 1000 специалистов.

Ваши задачи:

- Разработка дополнительных утилит для мобильной операционной системы.
- Разработка и оптимизация языка программирования разрабатываемого в лаборатории (аналог Typescript).
- Реализация директивы о реэкспорте.
- Реализация invoking методов для объединенных типов.
-Реализация поддержки аннотаций.

Наши ожидания:

- Опыт в разработке компонентов компилятора языка программирования. Наш компилятор пишется на С++, но можем рассмотреть и кандидатов с опытом разработки на другом стеке.
- Высшее образование.
- Более 5 лет подтвержденного опыта в области разработки системного программного обеспечения.
-Опыт работы с TypeScript, Python или Bash Script.

Буду рада откликам! @imanchoys