Join us at Irreducible as we accelerate the ZK revolution by supporting web3 networks with reliable and cost-efficient proof generation. We’re a high-performance cryptography startup (with an exciting hardware twist) looking for a talented Research Engineer. A more technical description of what we do is below!
Role Overview
As a Research Engineer on the Cryptography team, you will be working on Binius, our binary field proof system, both on the core open-source library and on applications of it. The responsibilities will include improving functionality, performance, and security of the cryptography code. Your days might involve implementing new cryptographic protocols, designing and implementing more efficient algorithms, and working on system architecture improvements. You will work on a cross-functional team, collaborating with cryptographers and software engineers to adapt and apply the latest zero-knowledge cryptography research. There may be opportunities to contribute directly to Irreducible’s cryptography research publications.
Necessary Qualifications
Significant professional software engineering experience
Proficiency with Rust
Understanding of software engineering best practices, especially testing
Ability to read and understand cryptography research
Deep familiarity with zero-knowledge cryptography concepts
Experience implementing cryptographic protocols
Mathematical aptitude, especially in linear and abstract algebra
Bonus Qualifications
Competitive programming experience
Experience with performance tuning and optimization
Understanding of fundamental blockchain concepts
Familiarity with software design patterns
Experience with computer algebra systems such as SageMath
Published cryptographic research
Experience with ZK circuit programming
We’re looking for candidates who are located between the USA East Coast and Central Europe time zones.
We are also in the process of opening an office in Berlin, and are excited to support relocation, on a case by case basis. Once our office is open, we plan to bring the whole company together for ~one week per quarter in Berlin.
We have a globally distributed company, and ensuring the team works in a cohesive way is our main goal.
We're building out a high-performance, cost-efficient compute stack for advanced cryptographic proofs, specifically zk-SNARKs. Verifiable computing with zk-SNARKs is taking off as a solution to the scalability and privacy limitations that today's blockchains suffer from. A new wave of blockchain protocols that use zk-SNARKs to prove smart contract executions, such as Polygon zkEVM, Starknet, and zkSync, are already in production. We believe there is a big market opportunity to generate proofs for these networks at scale in a cost-effective way [1]. There are lots of interesting performance engineering challenges we need to solve to keep up with the maximum device throughput.
We take the approach of co-designing hardware and software systems to accelerate SNARK generation end-to-end. Our first-generation tech stack uses FPGA accelerators running custom digital logic tailor-made for our use case [2].
We also conduct cryptography research to identify computationally efficient algorithms for verifiable computing. These research efforts produced a novel cryptographic construction based on towers of binary fields called Binius [3] [4], which we are currently developing into a production-grade system.
Our team has cross-domain expertise and includes hardware designers, low-level systems software engineers, cryptography engineers, and data center specialists, several of whom worked in HFT previously.
[1] https://www.paradigm.xyz/2022/04/zk-hardware
[2] https://www.ulvetanna.io/news/fpga-architecture-for-goldilocks-ntt
[3] https://www.ulvetanna.io/news/binius-hardware-optimized-snark
[4] https://cointelegraph.com/news/vitalik-buterin-explains-binius-improve-zero-knowledge-proofs
[5] https://www.ulvetanna.io/news/introducing-ulvetanna
NOTE: We can not sponsor visas of any kind at this time.
We are committed to creating a diverse and inclusive workplace where talented individuals can thrive and grow. We value the different perspectives, experiences, and backgrounds that each person brings to our team. Even if you don't fit 100% of the job's necessary qualifications, we'd still love to hear from you.
To all recruitment agencies: Irreducible does not accept agency resumes. Please do not forward resumes to our jobs alias, Irreducible employees, or any other organisation location. Irreducible is not responsible for any fees related to unsolicited resumes. Please read our full policy here.
If an employer mentions a salary or salary range on their job, we display it as an "Employer Estimate". If a job has no salary data, Rise displays an estimate if available.
Join us at Irreducible, a pioneering high-performance cryptography startup in Berlin, as a Cryptography Engineer (Research) and be a crucial part of our mission to drive the ZK revolution forward! At Irreducible, we're dedicated to crafting reliable and cost-efficient proof generation to support web3 networks. Your role will primarily focus on Binius, our innovative binary field proof system. You'll be diving into the core open-source library and creating applications that leverage its power. Your daily tasks will include enhancing functionality, improving performance, and ensuring security within the cryptography code. As you collaborate with a diverse team composed of skilled cryptographers and software engineers, you'll be implementing new cryptographic protocols, designing efficient algorithms, and contributing to significant system architecture improvements. If you possess significant professional experience in software engineering, love working with Rust, and boast a solid understanding of zero-knowledge cryptography concepts, this is your chance to make an impact. You may even have the opportunity to contribute directly to Irreducible’s cryptographic research publications which is an exciting aspect of this role. We believe in creating a diverse and inclusive workspace where creativity flourishes, welcoming applicants with varied backgrounds. Though we can’t sponsor visas currently, we support relocation, especially as we launch our Berlin office. Come be part of our team and push the boundaries of cryptography with us!
Irreducible provides fast and cost-effective computation of zero-knowledge succinct proofs.
4 jobsSubscribe to Rise newsletter