Senior/Principal Software Developer - Web Technologies and Compiler

Huawei Research Center Germany; Dresden; On-site; EUR 90,000 - 130,000; Full time

Benefits offered by this job

Healthy meals in canteen

Training opportunities (German &Mandar

Diverse, global environment

Self-responsible work

Job summary

Huawei's Hilbert Research Center is seeking a Senior/Principal Software Developer - Web Technologies and Compiler to design, implement, and optimize the next generation web engine for mobile and PC. The role emphasizes architectural improvements, prototype development, and formal-method driven tooling.

The ideal candidate has a PhD or Master in CS, deep knowledge of C++ or Rust, and fluency in English, with interest in concurrency and compiler technologies.

Qualifications

• BSc/Master/PhD in Computer Science or related field.

Responsibilities

• Architectural and algorithmic optimizations of engine code (compiler, layout, interpreter).
• Develop and evaluate high-quality prototypes for the web engine.
• Create and apply formal-method based tools to improve stability and productization.

Skills

C++

Rust

Concurrency

Web technologies

Compiler techniques

English

Education

BSc/Master/PhD in CS

Job description

Huawei's Hilbert Research Center is a product-motivated research and development center. We do research on industrial formal methods, weak memory model and concurrency, parallelization, and the full systems stack from hardware over operating system to web/rendering engines.

Join us as a

Senior/Principal Software Developer - Web Technologies and Compiler (m/f/d)

Your mission

Help us design, develop, and productization the next generation web engine for mobile and PC scenarios by supporting us in one or more of the following areas:

• Architectural, algorithmic, and local optimizations of engine code, such as compiler, layout, or interpreter;

• Development and evaluation of high-quality prototypes for the next generation web engine;

• Development and application of tools based on formal methods to improve the stability and ensure the timely productization of innovative optimizations.

Your areas of expertise

• BSc/Master or PhD in Computer Science or other related disciplines;

• Profound knowledge of at least one of: Rust or C++;

• Basic knowledge in concurrency and parallelism;

• Familiarity with web technologies (implementations of Servo, v8, or related technologies, or web standards lawyering) or compiler technologies is a plus;

• Familiarity with formal methods is a plus;

• Experience with systems-level programming a plus;

• Passion for software quality and performance, and openness to learn from failure;

• Fluent in written and spoken English.

By applying to this position, you agree with our Recruitment Privacy Statement. You can read in full our privacy policy here.

Your rewards of working here

• Our culture is characterized by innovative power and team spirit as well as the intensive exchange of knowledge and experience within our global network.

• We offer healthy meals ranging from traditional Chinese to western delicacies in our famous company canteen.

• To keep your development ongoing, you will find a broad range of training opportunities. Many online and face-to-face training programs incl. language courses in German and Mandarin.

• Our diverse and welcoming environment is shaped by different backgrounds and around 40 individual nationalities.

• Self-responsible work in a competent, motivated and constantly growing team.

Huawei is a leading global information and communications technology (ICT) solutions provider. Our ICT solutions, products and services are used in more than 170 countries and regions, serving over one-third of the world's population. With 208,000 employees, Huawei is committed to develop the future information society and build a Better Connected World.