Programming Languages Research Engineer

Job description

About Huawei Research and Development UK Limited Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We have more than 194,000 employees, and we operate in more than 170 countries and regions, serving more than three billion people around the world. Our vision and mission is to bring digital to every person, home and organization for a fully connected, intelligent world. To this end, we will drive ubiquitous connectivity and promote equal access to networks; bring cloud and artificial intelligence to all four corners of the earth to provide superior computing power where you need it, when you need it; build digital platforms to help all industries and organizations become more agile, efficient, and dynamic; redefine user experience with AI, making it more personalized for people in all aspects of their life, whether they’re at home, in the office, or on the go. This spirit of innovation has led Huawei to work in close partnership with leading academic institutions in the UK to develop and refine the latest technologies. The company’s commitment to investment in R&D in the UK, through university partnerships or bespoke facilities such as the photonics centre in Ipswich, will keep the country at the forefront of global digital innovation. And through this commitment, the UK will play an increasingly significant role in helping Huawei to develop the technologies of the future that will transform the way we all communicate, work and live. For the past 30 years we have maintained an unwavering focus, rejecting shortcuts and easy opportunities that don't align with our core business. With a practical approach to everything we do, we concentrate our efforts and invest patiently to drive technological breakthroughs. This strategic focus is a reflection of our core values: - staying customer-centric, - inspiring dedication, - persevering, - Growing by reflection. Huawei Research and Development UK Limited Overview Huawei’s vision is a fully connected, intelligent world. To achieve this, we work to inspire passion for basic research around the world. Our combined passion drives development across the global innovation value chain. Huawei has the largest Research and Development organization in the world with 96,000+ employees in research centres around the globe. In the UK, we already have design centres in Cambridge, London, Edinburgh, Ipswich and Bristol. We continue to explore and define new research directions and new services. We have expanded our collaborations with academic researchers; researched new network architectures, integration of communications and key enabling technologies; and developed the fundamental theories of these technologies. We invite you to join us on this exciting journey and drive your career forward. 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: List details of Knowledge, Skills, Experience and Qualifications needed to do the job: 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