Programming Languages Research Engineer - Frameworks Compilation Generated Code

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* I welcome your application if you'd like to find out more and if you know someone it would suit, we offer a fantastic referral scheme which I would be happy to discuss. Keywords: Consumer Electronics / R&D / Computer Science / Programming Languages / Compilers / AI Generated Code / Formal Methods / Coding Agents