Rust Jobs for Rustaceans

Key Responsibilities:
We're automating code translation between programming languages, building a pipeline that combines static transpilers with LLMs which can scale to support massive amounts of code.
You'll work at the heart of this, collaborating with a small, talented team to design and implement the core engine that powers the pipeline. You'll work on the forefront of transpiler technology, program validation and static analysis.
You'll love what we're working on if you are interested in:

• Programming language design
• Compilers and transpilers
• Software verification (both static and dynamic)
  You'll be joining a small group of engineers who are obsessed with the challenges posed by code translation, and who want to build tools to improve the process of writing and maintaining software.

Requirements:

• Proficiency in Rust
• Understanding of programming language design
• Experience building compilers or transpilers
• (Bonus) Experience with software verification

Benefits and Perks

• Up to ~0.5% options
• Competitive salary
• 25 days holiday, in addition to bank holidays
• Top tier private medical insurance