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

European Tech Recruit; City of Edinburgh; On-site; GBP 45,000 - 75,000; Full time

Job summary

European Tech Recruit is seeking a Programming Languages Research Engineer (Open to Graduates) to join our Edinburgh-based team. You will research, prototype, and engineer next-generation language and agentic tooling capabilities across the full software research lifecycle.

You will explore language theory, compiler frameworks, automation in code synthesis, debugging, and formal verification while delivering production-ready tools and collaborating with global engineering units.

Qualifications

• Masters or PhD in CS or a related quantitative discipline.
• 0-5 years industry experience, open to graduates.
• Strong background in programming languages and modern software engineering.
• Familiarity with modern AI, LLMs, and their practical application to software synthesis, program analysis, or developer environments.
• High proficiency in software implementation, technical problem-solving, and rapid adoption of emerging software technologies.
• Hands-on experience with compiler design, programming language frameworks, or formal verification tools.
• Preferred: experience with coding agents, agentic programming, AI-assisted code generation, or automated debugging systems.
• Preferred: strong foundations in formal logic, type theory, program semantics, or program analysis.

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.

Skills

Programming languages

Compiler design

Formal verification

AI-assisted code generation

LLMs application

Education

Masters or PhD in CS/Math

Tools

Compiler frameworks

Formal verification tools

Code generation tooling

Agentic programming tooling

Job description

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.

Required Experience

• Masters or PhD degree in Computer Science, Mathematics, or a related quantitative discipline.
• 0-5 years industry experience, open to graduates
• Strong background in programming languages and modern software engineering, covering object-oriented or functional paradigms.
• Familiarity with modern AI, LLMs, and their practical application to software synthesis, program analysis, or developer environments.
• High proficiency in software implementation, technical problem-solving, and rapid adoption of emerging software technologies.
• Hands-on experience with compiler design, programming language frameworks, or formal verification tools.
• Preferred: Practical experience with coding agents, agentic programming, AI-assisted code generation, or automated debugging systems.
• Preferred: Strong mathematical foundations in formal logic, type theory, program semantics, or program analysis.

*Must have full right to work in the UK without sponsorship. Post study work visas are fine as long as you can work full-time and have a minimum of 12 months on this*

Keywords:

Consumer Electronics / R&D / Computer Science / Programming Languages / Compilers / AI Generated Code / Formal Methods / Coding Agents

By applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice https://eu-recruit.com/wp-content/uploads/2024/07/European-Tech-Recruit-Privacy-Notice-2024.pdf