Senior Compiler Engineer

Summary

Join our client, a high-performance cryptography startup, as a Senior Compiler Engineer to build tools for expressing computations on novel digital and virtual machines. You will focus on verifiable programs with ZK constraint systems and algorithm translation for a custom cryptographic processor. Collaboration with hardware and cryptography teams is key to defining instruction sets and program representations. Your work will directly impact the product's developer experience, performance, and security. The ideal candidate possesses strong compiler engineering skills and a passion for pushing the boundaries of ZK technology.

Requirements

• Proficiency in Rust
• Functional programming experience
• Experience writing CPU assembly code
• Experience writing virtual machine interpreters or emulators
• Strong written and verbal communication 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

Responsibilities

• Build tools to express computations on two types of novel machines, one digital and one virtual
• Express verifiable programs with ZK constraint systems
• Translate algorithms to target a custom cryptographic processor running on an FPGA
• Work closely with the hardware and cryptography teams to define both the instruction sets and high-level program representations
• Build embedded programming languages, special-purpose compilers, and machine emulators

Preferred 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

Benefits

• 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