ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Huawei Technologies
The Programming Languages R&D Engineer role at Huawei's Edinburgh office focuses on original research, research transfer, and engineering work in programming languages, formal methods, and agentic programming. The position emphasizes developing programming language technologies for the AI era, including agentic programming systems for software development, program understanding, code generation, and improving AI-generated code reliability. The role involves contributing to compiler frameworks, tooling, and AI-driven software development solutions.
Huawei is a global provider of information and communications technology (ICT) infrastructure and smart devices, aiming to build a fully connected, intelligent world. It supplies carriers, enterprises and consumers with telecom networks (including 4G/5G), cloud and AI platforms, data center and IoT solutions, plus a range of consumer devices such as smartphones, tablets and wearables. The company emphasizes heavy investment in R&D, standards and partner ecosystems to enable industry digital transformation. Huawei operates and supports deployments worldwide across telecom, enterprise and consumer markets.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Huawei Technologies.
Principal Engineer, Compilers & Formal Methods
NVIDIA
Research Intern, Tools and Compilers
Jane Street
Principal Engineer, Compilers & Formal Methods
NVIDIA
Timashev Assistant/Associate/Full Professor in Programming Languages & Software Engineering (PLSE) areas, Tenure-track
The Ohio State University
Sr Applied Research Engineer, Accelerator Programming Model and Compiler
Coherent
Sr Applied Research Engineer, Accelerator Programming Model and Compiler
NVIDIA