Programming Languages Researcher (PAYE)

Opportunity to join a world-leading programming languages research team in Edinburgh. Working on the development of a company programming language and relevant compiler technologies. 

Responsibilities

• Development and maintenance of compilers and compiler development tools, including high-level and low-level compiler optimisations, type systems, and code generation
• Developing and maintaining programming language solutions for heterogeneous architectures, AI frameworks, and high-performance code generators.
• Benchmarking applications in a reliable and reproducible way on a wide range of hardware; identifying opportunities for compiler optimisations based on the obtained results.
• Collaboration with academia on programming-language-related topics, transferring results and ideas from academia to industry.

Requirements

• Background in compilers/programming languages/type systems (required)
• Excellent programming skills in C/C++ and/or functional languages (required)
• Familiarity with modern version management and feature tracking software (required)
• Some familiarity with parallel and heterogeneous architectures and programming models (desired)
• Some experience with mainstream compilers like LLVM/GCC or with projects of a similar size and scope (desired)
• Good academic background and programming skills, publications in conferences or journals in the related fields, contributions to open source (or other evidence of independent activity)