Software Engineer

We use AI to modernise legacy code We're combining LLMs and transpilers to translate COBOL into Java. If you’re proficient in Rust, are interested in programming language design, and write compilers and interpreters for fun then this role could be a great fit. Come help the largest companies modernise their legacy codebases. All large companies are stuck with legacy code running critical systems, written in languages that are dying and running on architectures that are increasingly expensive to maintain. Our code translation pipeline automates the menial task of converting code from one language to another. Previously human engineers would have had to read the legacy code and translate the codebase by hand, file by file, into the target language. We're pioneering a novel approach to this problem, and leveraging LLMs to produce readable code in a fraction of the time. 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) 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. Proficiency in Rust Understanding of programming language design Experience building compilers or transpilers (Bonus) Experience with software verification 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 Up to ~0.5% options Competitive salary 25 days holiday, in addition to bank holidays Top tier private medical insurance