More jobs:
Programming Languages Research Engineer
Job in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-07-05
Listing for:
Huawei Technologies Research & Development (UK) Ltd
Full Time
position Listed on 2026-07-05
Job specializations:
-
Software Development
Software Engineer
Job Description & How to Apply Below
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
- 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.
- 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.
- 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
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×