Programming Languages Research Engineer

About Huawei Research and Development UK Limited

Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We have more than 194,000 employees, and we operate in more than 170 countries and regions, serving more than three billion people around the world.

• staying customer-centric
• inspiring dedication
• persevering
• Growing by reflection.

Huawei’s vision is a fully connected, intelligent world. To achieve this, we work to inspire passion for basic research around the world. Our combined passion drives development across the global innovation value chain. Huawei has the largest Research and Development organization in the world with 96,000+ employees in research centres around the globe. In the UK, we already have design centres in Cambridge, London, Edinburgh, Ipswich and Bristol.

We continue to explore and define new research directions and new services. We have expanded our collaborations with academic researchers; researched new network architectures, integration of communications and key enabling technologies; and developed the fundamental theories of these technologies. We invite you to join us on this exciting journey and drive your career forward.

To work as part of a Huawei Programming Languages team, to perform original research, research transfer and engineering work on Programming languages in the Huawei Edinburgh Research Centre, and to support the cooperation with the School of Informatics, University of Edinburgh.

• Discover and analyze key technologies and requirements, building the competence of Huawei programming language solutions, including both system-level and high-level languages.
• Design and develop new advanced compiler frameworks for concurrency and control, dataflow, cloud, metaprogramming, and massively parallel execution.
• Cooperate with the Informatics School of the University of Edinburgh in the Compilers and Programming Languages area, particularly in knowledge transfer from academic research to industrial applications.

• Comprehensive experience.
• Knowledge (i.e., theory, applications, compilation, verification, and tooling) of modern programming languages covering the object-oriented and functional spectrum.
• Research track record in Programming Languages and Compilers.
• Excellent programming, research and analytic skills.
• Familiarity with functional programming concepts and techniques in particular as related to concurrency and control.
• Ability to pick up and develop new technologies.

• Comprehensive experience.
• Knowledge (i.e., theory, applications, compilation, verification, and tooling) of modern programming languages covering the object-oriented and functional spectrum.
• Research track record in Programming Languages and Compilers.
• Excellent programming, research and analytic skills.
• Familiarity with functional programming concepts and techniques in particular as related to concurrency and control.
• Ability to pick up and develop new technologies.

• PhD or excellent BSc/MSc.
• Major in computer science.
• Publication record in world-class computer science academic conferences/journals.
• Programming languages/framework design.
• Mathematical foundations of programming (logics, types, semantics).
• Demonstrated open-source projects.
• Advanced practical experience with functional programming.
• Advanced practical experience with C++ or Rust.

• 33 days annual leave entitlement per year (including UK public holidays)
• Group Personal Pension
• Life insurance
• Private medical insurance
• Medical expense claim scheme
• Employee Assistance Program
• Cycle to work scheme
• Company sports club and social events
• Corporate retail discounts
• Flexible working
• Additional time off for learning and development

If you wish to apply for this position and believe your experience and skills are suitable, please email a copy of your CV and cover letter to

Through applying for this position you agree to our Privacy Notice. For further details please follow the link: