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.
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 include the expression of verifiable programs with ZK constraint systems and the 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 include 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.

Requirements:

Proficiency in Rust is required.
Experience with functional programming is necessary.
You must have experience writing CPU assembly code.
Experience writing virtual machine interpreters or emulators is essential.
Strong written and verbal communication skills are required.
You should have the ability to think across layers of abstractions.
An understanding of technology tradeoffs and a pragmatic approach to problem solving is necessary.
A desire to work in a fast-paced startup environment is essential.

The position offers a competitive salary and benefits package.
You will have the opportunity to work with a passionate and innovative team.
Flexible working hours and remote work options are available, with relocation support to Berlin.
There are professional growth and development opportunities.
The company promotes a collaborative and inclusive culture.