Compiler Engineer - Rust (External)

Medium; Greater London; Hybrid; GBP 100,000 - 125,000; Full time

Job summary

A cutting-edge cryptography startup in the UK is seeking a Senior Compiler Engineer to develop tools for novel machines. You will have the opportunity to work closely with hardware teams, building embedded languages and special-purpose compilers. The ideal candidate will be proficient in Rust and have a strong understanding of virtual machines and assembly code. This role offers competitive salary and flexible working hours.

Benefits

Competitive salary and benefits

Flexible working hours

Professional growth opportunities

Collaborative company culture

Qualifications

• Proficiency in Rust programming language.
• Experience with functional programming paradigms.
• Ability to write efficient CPU assembly code.
• Experience with virtual machine interpreters is a plus.
• Excellent communication skills, both written and verbal.
• Ability to navigate different layers of abstraction in technology.

Responsibilities

• Develop tools for computations on digital and virtual machines.
• Work with teams to define instruction sets and high-level program representations.
• Build embedded programming languages and compilers.

Skills

Proficiency in Rust

Functional programming

Experience writing CPU assembly code

Experience writing virtual machine interpreters or emulators

Strong written and verbal communications skills

Ability to think across layers of abstractions

Understanding of technology tradeoffs

Desire to work in a fast-paced startup environment

Job description

Join our client as they accelerate the ZK revolution, supporting web3 networks with reliable and cost-efficient proof generation. They are a high-performance cryptography startup with an exciting hardware twist looking for a talented Compiler Engineer.

About the role

As a Senior Compiler Engineer, you will build tools to express computations on two types of novel machines, one digital and one virtual. The goals in these areas of our tech stack are:

Expression of verifiable programs with ZK constraint systems.

Translation of algorithms to target a custom cryptographic processor running on an FPGA.

You will work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations. The tools you build may be embedded programming languages, special-purpose compilers, and machine emulators. This work will have a direct impact on Irreducible’s success by improving the product’s developer experience, performance, and security.

Qualifications

• Proficiency in Rust
• Functional programming
• Experience writing CPU assembly code
• Experience writing virtual machine interpreters or emulators
• Strong written and verbal communications skills
• Ability to think across layers of abstractions
• Understanding of technology tradeoffs and a pragmatic approach to problem solving
• Desire to work in a fast-paced startup environment

Bonus Qualifications

• Familiarity with WebAssembly or RISC-V
• Experience writing compilers
• Experience with non-standard ISAs
• Experience with hardware accelerators for AI/ML
• Understanding of formal verification techniques
• Understanding of zero-knowledge cryptography

What We Offer

• Competitive salary and benefits package.
• Opportunity to work with a passionate and innovative team.
• Flexible working hours and remote work options (Relocation Support to Berlin)
• Professional growth and development opportunities.
• A collaborative and inclusive company culture.