Programming Languages Research Engineer: AI & Compilers

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

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.