🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
#compiler #toolchain #llvm #clang #cpp #vm #russia
System Software Engineer (compilers and
toolchains)
Huawei, Moscow, Russia
Contact: @Fedotovskaya Екатерина, +7 916 585 39 85 (tg, whatsapp)
“””
Всем привет!
Ищу людей в новый проект по написанию транспилятора/статическому анализатору типов/новым языкам программирования.
Мы в Huawei пишем транслятор из скриптового языка в наш собственный язык высокого уровня. Основной challenge - статический вывод типов для скриптового языка.
“””
We are seeking strong candidates for permanent research and development positions in the area of
compiler technologies (including frontend, backend, runtime, VM, toolchain).
About the project
The research will aim to develop a compiler/tools/runtime for a new general purpose programming
language. A significant fraction of our work is currently dedicated to source-to-source translation
from existing high-level languages to our new programming language and runtime.
Challenges:
- Research and implement algorithms and software technologies in the field of compilation, s2s
translations, JIT and optimizations;
- Investigate and improve performance of produced code and the runtime (lightweight VM);
- Participate in the important horizontal technical work of the product line as compilation technical
experts;
- Present your work by writing articles and papers based on your researches.
Minimum qualifications:
- Master's degree or equivalent practical experience;
- Knowledge of C++;
- Knowledge of Unix/Linux environments;
- Good knowledge of algorithms and data structures.
Preferred qualifications:
- Experience in creating or optimizing compilers and/or related tools and/or VM and/or OS;
- Hands-on experience in static analysis or type inference
- Knowledge of Lua
- Knowledge of VM
- PhD in Computer science;
- Contribution to open source projects;
- Familiarity with Clang/LLVM internals.