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