Logo of Huzzle

Job

PhD Studentship in Machine-Learning Guided Compilation (Fixed Term)

đź’Ľ Graduate Job

Cambridge

⌛ Closed
Applications are closed

Graduate Job

Data, Software Engineering•Cambridge

Description

  • Applications are invited for a PhD student to work on machine-learning guided and verifiably correct code generation.
  • Creating optimised libraries is a difficult and time-consuming task, requiring significant manual engineering effort. This process must be repeated for each new processor to take advantage of additional features, especially when it implements the latest architecture with new instructions or significant new architectural extensions, like Arm's SVE and SME. However, advances in machine learning point towards a low-cost solution to this task by automating code generation through a series of provably correct steps. A machine-learning model will guide the search for optimised code sequences, learning the best instructions to use for given intermediate code fragments and alleviating manual engineering effort.
  • The successful candidate will develop new code-generation strategies using machine-learning models and verification tools, suitable for deployment by library writers within the compilation toolchain, working closely with project partner, Arm.

Requirements

  • We seek candidates with a strong background in Computer Science (1st class honours degree or equivalent, although a Master's is particularly desirable) with a particular interest in compilers or binary modification tools and machine learning. Experience of writing code for a tool such as LLVM or DynamoRIO would be helpful, as would familiarity with working in teams with robust engineering practices (version control, continuous integration, automated testing).

Education requirements

2:1 or higher
Masters

Area of Responsibilities

Data
Software Engineering

Responsibilities

  • Our group consists of PostDocs and PhD students investigating performance, reliability and security in future many-core systems. We develop solutions within compilers, computer architectures and all associated tools, with a strong focus on parallelism. The position is within the Computer Architecture Research Group at the University of Cambridge Department of Computer Science and Technology, a vibrant and internationally leading environment. Collaboration with researchers at other universities and industry around the world is encouraged and there are strong links within the group with local, national and international companies.

Details

Work type

Full time

Work mode

office

Application deadline

May 16, 2024

Location

Cambridge