Programming Languages R&D Engineer(PAYE)

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

Job summary

Huawei Technologies Research and Development UK Limited in Edinburgh is seeking a talented researcher to join the Huawei Programming Languages team. You will perform original research, transfer knowledge, and engineer work on programming languages, formal methods and agentic programming for the AI era.

You will contribute to compiler frameworks, concurrency and tooling, support prototypes, and help transfer research results into practical software development solutions, working with HQ

Qualifications

• Degree in computer science, mathematics or a related discipline.
• Excellent programming, research and analytical skills.
• Good knowledge of modern programming languages and software development, including language concepts, applications, compilation and tooling, covering object-oriented and/or functional programming paradigms.
• Familiarity with modern AI and LLM technologies, with an interest in their application to software development and programming tools.
• Ability to quickly pick up, understand and apply emerging software technologies in the AI era.
• Strong problem-solving skills and willingness to work on real-world software systems and development tools.
• Professional working proficiency in English and Mandarin Chinese is required to support regular communication with HQ stakeholders and manage relevant business documentation

Responsibilities

• Contribute to the investigation of key technologies and research directions in programming languages, compilers, formal methods and agentic programming, supporting Huawei’s capabilities in programming language and AI programming solutions
• Contribute to the design and development of advanced compiler frameworks for concurrency and control, and tooling for agentic programming, code generation, verification and validation
• Understand and apply technologies for AI-driven software development, including program understanding, code generation, automated testing and debugging, and improving the reliability of AI-generated software
• Support the development of research prototypes and engineering tools, and contribute to the transfer of research results into practical technologies and solutions for real-world software development scenarios

Skills

Programming

Research

Analytical skills

AI/LLM familiarity

English/Mandarin proficiency

Problem solving

Education

Degree in computer science, mathematics or a related discipline

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 207,000 employees and operate in over 170 countries and regions, serving more than three billion people around the world.

Our vision and mission is to bring digital to every person, home and organization for a fully connected, intelligent world. To this end, we will drive ubiquitous connectivity and promote equal access to networks; bring cloud and artificial intelligence to all four corners of the earth to provide superior computing power where you need it, when you need it; build digital platforms to help all industries and organizations become more agile, efficient, and dynamic; redefine user experience with AI, making it more personalized for people in all aspects of their life, whether they’re at home, in the office, or on the go.

This spirit of innovation has led Huawei to work in close partnership with leading academic institutions in the UK to develop and refine the latest technologies. With a shared commitment to innovation and progress, both parties have worked together to achieve common goals and establish a strong partnership. The partnership between UK and Huawei help to develop the technologies of the future that will transform the way we all communicate, work and live.

For the past 30 years we have maintained an unwavering focus, rejecting shortcuts and easy opportunities that don't align with our core business. With a practical approach to everything we do, we concentrate our efforts and invest patiently to drive technological breakthroughs.

This strategic focus is a reflection of our 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 centers around the globe. In the UK, we already have design centers in Cambridge, London, Edinburgh and Ipswich. 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, formal methods and agentic programming in the Huawei Edinburgh Office.

The role will focus on programming language technologies for the AI era and agentic programming systems for software development, including program understanding, code generation, program transformation, automated testing and debugging, and improving the reliability of AI-generated code.

Key Responsibilities:

• Contribute to the investigation of key technologies and research directions in programming languages, compilers, formal methods and agentic programming, supporting Huawei’s capabilities in programming language and AI programming solutions


• Contribute to the design and development of advanced compiler frameworks for concurrency and control, and tooling for agentic programming, code generation, verification and validation


• Understand and apply technologies for AI-driven software development, including program understanding, code generation, automated testing and debugging, and improving the reliability of AI-generated software


• Support the development of research prototypes and engineering tools, and contribute to the transfer of research results into practical technologies and solutions for real-world software development scenarios

This job description is only an outline of the tasks, responsibilities and outcomes required of the role. The jobholder will carry out any other duties as may be reasonably required by his/her line manager. The job description and personal specification may be reviewed on an ongoing basis in accordance with the changing needs of Huawei Research and Development UK Limited.

Person Specification:
List details of knowledge, skills, experience and qualifications needed to do the job:

Required:

• Degree in computer science, mathematics or a related discipline


• Excellent programming, research and analytical skills


• Good knowledge of modern programming languages and software development, including language concepts, applications, compilation and tooling, covering object-oriented and/or functional programming paradigms


• Familiarity with modern AI and LLM technologies, with an interest in their application to software development and programming tools


• Ability to quickly pick up, understand and apply emerging software technologies in the AI era


• Strong problem-solving skills and willingness to work on real-world software systems and development tools


• Professional working proficiency in English and Mandarin Chinese is required to support regular communication with HQ stakeholders and manage relevant business documentation

Desired (any of the following):

• Experience in programming language, compiler and/or programming framework design


• Experience with formal verification methods and tools


• Experience with agentic programming, coding agents, AI-assisted code generation, automated debugging or software migration


• Strong mathematical foundations of programming, including logic, type theory, semantics and formal reasoning


• Research or engineering experience in program analysis, verification, testing or AI for code