Programming Languages Research Engineer
European Tech Recruit
12 days ago
Role details
Contract type
Permanent contract Employment type
Full-time (> 32 hours) Working hours
Regular working hours Languages
English Compensation
£ 41KJob location
Tech stack
C++
Cloud Computing
Compilers
Computer Programming
Data Flow Control
Object-Oriented Software Development
Open Source Technology
Type Systems
Concurrency
Information Technology
Functional Programming
Programming Languages
Job description
- Identify and investigate emerging technologies and requirements, contributing to Huawei's capabilities in both system-level and high-level programming languages.
- Design and implement advanced compiler frameworks addressing concurrency and control, dataflow, cloud computing, metaprogramming, and large-scale parallel execution.
- Collaborate with the University of Edinburgh's School of Informatics on compilers and programming languages, with a focus on transferring academic research into industrial practice.
Requirements
- Strong understanding of modern programming languages-including theory, applications, compilation, verification, and tooling-across both object-oriented and functional paradigms.
- Proven research background in programming languages and compilers.
- Excellent programming, research, and analytical skills.
- Familiarity with functional programming concepts and techniques, especially those related to concurrency and control.
- Ability to quickly learn and adopt new technologies., * PhD or exceptional BSc/MSc/MSci in computer science or a related field.
- Publication record in top-tier computer science conferences or journals.
- Experience in designing programming languages or frameworks.
- Strong grounding in the mathematical foundations of programming (logic, type systems, semantics).
- Demonstrated contributions to open-source projects.
- Advanced hands-on experience with functional programming.
- Advanced practical experience with C++ or Rust.
