Programming Languages Research Engineer

Programming Languages Researcher
Location: Edinburgh, UK
Permanent Role
Job Purpose:
To work as part of the Programming Languages team, to perform original research, research transfer and engineering work on Programming languages in our 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.
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/MSci.
• 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 is on 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