Programming Languages Researcher - C++ / Rust

• Proven research experience in programming languages and compilers
• Strong knowledge across theory, applications, compilation, verification, and tooling
• Excellent programming and analytical skills
• Deep understanding of functional programming concepts, especially those related to concurrency and control
• Ability to quickly grasp and develop new technologies, * PhD or exceptional MSc/MSci/BSc in Computer Science
• Publications in top-tier computer science conferences or journals
• Experience in language or framework design
• Background in mathematical foundations of programming (logics, types, semantics)
• Contributions to open-source projects
• Practical experience with functional programming, C++, or Rust

If you're passionate about pushing the boundaries of programming language research and want to work alongside leading academics and engineers, we'd love to hear from you.

We're looking for a number of Programming Languages Researchers to join our client onsite in Edinburgh, working at the intersection of academic excellence and industrial innovation. You'll be part of the Programming Languages team, conducting original research, technology transfer, and engineering on next-generation programming languages and compiler frameworks. This is a small research team that makes up part of a much larger, globally known tech company. This is a 1 year, PAYE contract, working inside IR35. Please note, you must be able to work 100% onsite in Edinburgh. What You'll Do * Lead research on emerging programming language technologies and frameworks * Design and build advanced compiler frameworks for concurrency, control, dataflow, metaprogramming, and large-scale parallel execution * Work with academic partners to transfer research ideas into practical applications * Strengthen Huawei's programming language capabilities across both system-level and high-level domains