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

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

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

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

3 Huawei jobs in Scotland