Programming Languages Research Engineer

Huawei Technologies Research & Development (UK) Ltd; City of Edinburgh; On-site; GBP 40,000 - 60,000; Full time

Job summary

A leading global technology company in Edinburgh is seeking a researcher in programming languages. The successful candidate will perform original research, develop advanced compilers, and collaborate with the University of Edinburgh to advance programming language solutions. Strong knowledge of modern programming languages is required along with research and analytic skills. This role offers competitive benefits including extensive leave and a flexible working environment.

Benefits

33 days annual leave

Group Personal Pension

Private medical insurance

Flexible working

Additional time off for learning and development

Qualifications

• Comprehensive experience in programming languages and compilers.
• Track record of research in Programming Languages.
• Excellent programming skills.

Responsibilities

• Perform original research on programming languages.
• Design compilers for concurrency and control.
• Cooperate with the University of Edinburgh.

Skills

Modern programming languages knowledge

Research and analytic skills

Familiarity with functional programming

Ability to learn new technologies

Education

PhD or excellent BSc/MSc in computer science

Tools

C++

Rust

Job description

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.

Core Values

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

Huawei Research and Development UK Limited Overview

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.

Job Purpose

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.

Key Responsibilities

• 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.

Person Specification

• 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.

Required

• 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.

Desired

• 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.

What we offer

• 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

How to apply

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 [e-mail].

Privacy Notice

Through applying for this position you agree to our Privacy Notice. For further details please follow the link: http://www.huawei.com/en/privacy-policy.