About the Company

Huawei Technologies Co. Ltd. is a leading global ICT solution provider. As part of Huawei Consumer Business Group, Huawei Mobile Service delivers high-quality digital content & mobile services to consumers. Our products consist of AppGallery, Petal Search, Browser, Game Center, Themes, Video, Music, Reader, HiCloud, etc.

Job Description:

Saint-Petersburg R&D Huawei Competence Center is looking for a senior programming language engineer to join the fast-growing team of experts that defines the next generation of Huawei technology development and the opportunity to implement new independent projects.

Responsibilities:

• Participate in design and implementation of DSLs and related toolchains.
• Participate in design and implementation of basic infrastructures of programming languages, including: compiler, runtime/virtual machine, toolchains(static analysis, package management, formatting, debugging tools etc).
• Participate in design and implementation of standard libraries(net, crypto, regex, math etc).
• Research and explore frontiers of programming languages, including: type system, semantic and programming logic, program analysis and verification.

Professional knowledge requirements

• Master of Computer Science or Math.
• Experience in implementing Lexer/Parser/TypeChecker/CodeGenerator is preferred.
• Experience in designing programming languages(DSL included) is preferred.
• Experience in virtual machines, runtime systems, including Go Runtime, JVM, JS Engine, Webassembly Runtime etc is preferred.
• Familar with LLVM/GCC compiler architectures, Clang frontend or other compilers' frontends.
• High level of responsibility and attention to detail.
• English, sufficient for oral and written communication with foreign colleagues (Intermediate or above).
• Familiar with Linux system, at least proficient in one language in C++/C/Java/Scala/Go/Kotlin/Rust/Swift/. Have outstanding coding ability and solid engineering realization ability.
• Have a solid understanding of data structures and algorithms. Able to design and implement algorithms related to trees and graphs.

Optional Qualifications Considered an Asset

• Strong background in mathematics and statistics.
• Relevant scientific publications, presentations at industry conferences.
• Ph.D. or Ph.D.-student

Conditions

• Professional and career development opportunity;
• Commercial medical insurance;
• Modern office in the city center;
• Employment according to the Labor Code of the Russian Federation.