Verified Compiler Researcher (Assistant/Associate)

Cambridge; Cambridge; On-site; GBP 33,000 - 47,000; Full time

Job summary

A prestigious educational institution in Cambridge is looking for a Research Assistant/Associate to work on verified compiler infrastructure in close collaboration with the open-source community. Candidates should have a PhD or MSc in Computer Science and strong qualifications in compiler design. This is a fixed-term role offering a salary between £33,002 and £46,049. You will contribute to pioneering projects at the intersection of MLIR and Lean4 and support transformative programming language advancements.

Qualifications

• PhD in computer science or equivalent experience in compiler design. Alternatively, MSc for assistant level.
• Track record of relevant scientific publications.
• Interest in cryptography and transformative ideas in programming.

Responsibilities

• Work with a team on verified compiler infrastructure development.
• Contribute to Lean4 proof assistant technology.
• Collaborate closely with the open-source community.

Skills

Compiler design

Interactive theorem proving

Strong theoretical reasoning

Open-source software development

Excellent spoken and written English

Education

PhD in Computer Science

MSc in Computer Science

Tools

Lean4

LLVM/MLIR

BitVector library

Job description

A prestigious educational institution in Cambridge is looking for a Research Assistant/Associate to work on verified compiler infrastructure in close collaboration with the open-source community. Candidates should have a PhD or MSc in Computer Science and strong qualifications in compiler design. This is a fixed-term role offering a salary between £33,002 and £46,049. You will contribute to pioneering projects at the intersection of MLIR and Lean4 and support transformative programming language advancements.