Compiler Engineer - Rust (External)

Overview 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 to help deliver performant tooling for verifiable computing. Responsibilities 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 include the 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 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 Serotonin\’s product by improving 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 Seniority level Not Applicable Employment type Full-time Job function Engineering and Information Technology Industries Advertising Services #J-18808-Ljbffr