Programming Languages Research Engineer

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, and tooling for agentic programming, verification and validation
• 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

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 and/or verification and validation.
• 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

#J-18808-Ljbffr…