powdr is a language and compiler framework designed to aid development of zkVMs and ZK proof generation. It consists of a modular stack with an architecture that is agnostic to both frontend languages and backend ZK proof systems. powdr is fully FOSS and built in the open.
For more information, see the docs and source code.
Please email CV, Github, or any relevant info to [email protected].
This role can focus on either the compiler or systems side, depending on the applicant's strenghts. The tasks may include but are not limited to:
- Write compiler features and tooling.
- Participate in programming language design.
- Design and implement VMs in powdr-IR.
- Integrate with LLVM and/or other toolchains.
- Optimize the compiler's performance.
- Proficiency in Rust - or proficiency in another systems language and willingness to learn/write Rust.
- Familiarity with compiler internals, programming language design.
- Experience with VMs (LLVM, WASM, RISCV), architectures, and toolchains.
- Bonus: you check multiple boxes above.
- You value collaboration and clear communication.
- You are able to perform independently and pro-actively.
- You have a security & performance mindset.
powdr labs was founded by Christian Reitwiessner (creator of Solidity and former Ethereum Foundation's Solidity team lead), Leo Alt (former Ethereum Foundation's Formal Verification team lead and Solidity core dev), and Thibaut Schaeffer (former ZoKrates' lead and maintainer).
You will join a small technical team of fans of the technology they are using and building, who have a lot of fun solving puzzles.
- Remote, preferably EU timezone.
- Bonus: Berlin.