Programming Languages Research Engineer (Open to Graduates) - Frameworks / Compilation / Generated Code

We're working with a true leader in research, development, and innovation, and we are looking for multiple graduates and experienced professionals for multiple Programming Languages Research Engineers to join their team.

With hundreds of thousands of employees globally, this company are at the forefront of advanced technological research, rated highly for R&D investments across Europe. They have continued to hire throughout the uncertainty of the economy and continue to invest across Europe.

This is a 12 month PAYE contract position, potentially extendable, based on-site in Edinburgh, Scotland.

You will be responsible for researching, prototyping, and engineering next-generation language and agentic tooling capabilities. Your responsibilities will cover the full software research lifecycle from investigating novel language paradigms and concurrency compiler frameworks to developing automated testing pipelines, enhancing the reliability of AI-generated code, and collaborating with global engineering units.

Key Responsibilities

• Investigate key research directions in programming language theory, formal methods, compiler design, and agentic programming.
• Design and construct advanced compiler frameworks for concurrency and control, along with specialized tooling for agentic software workflows.
• Research and implement AI-driven software engineering techniques covering program comprehension, automated code synthesis, debugging, and verification.
• Develop functional research prototypes and production-ready tools to transfer academic insights into real-world software engineering environments.
• Support ongoing technical alignment and cross-border project management with international research and headquarters stakeholders.
• Contribute to continuous methodology improvement across software reliability, formal reasoning, and automated software transformation.