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 Systems Software Engineer. A more technical description of what we do is below!
Role Overview
Our systems software team has a broad scope. For this reason, we are looking for experienced team players who have solid engineering fundamentals, as well as specific expertise in at least one of:
Performance optimization (Rust or C++)
Blockchain backend (Rust)
Rust
Depending on your specific profile, you may find yourself
Optimising our software stack that integrates FPGA accelerators with cryptographic application code. This involves optimal management of memory and compute resources, detailed performance profiling, as well as implementation, modification and instrumentation of cryptography code.
Orchestrating distributed proving tasks over an FPGA server cluster, working with cryptography engineers on library APIs, or integrating our stack with blockchain networks.
Necessary Qualifications
Solid computer science and computer architecture fundamentals
Bonus Qualifications
If you possess some of the qualifications below, and are curious about some of the others, we would be thrilled to hear from you:
Significant experience benchmarking, tuning and optimizing non-trivial multi-threaded software across layers of abstraction: Algorithms, concurrency, scheduling, operating system (Linux) performance tweaking, large data and memory constraints, recommendation of hardware configurations.
Significant professional Rust experience
Understanding of fundamental blockchain concepts
Understanding of cryptographic proof systems and zero-knowledge cryptography
Understanding of microservices architecture
Implementing high-performance software and distributed systems
Implementing low-level cryptographic primitives
Programming embedded processors and Linux kernel modules/drivers
Programming GPUs or FPGAs
Modifying and contributing to open-source codebases
Knowledge of AWS and/or Google Cloud, as well as of computer security principles
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 the innovative team at Irreducible in Berlin as a Systems Engineer, where we are driving the ZK revolution by providing support to web3 networks with reliable and cost-efficient proof generation. At Irreducible, we pride ourselves on being a high-performance cryptography startup that blends cutting-edge software with a unique hardware twist. As a Systems Engineer, you will engage in a variety of exciting projects that require not just solid engineering fundamentals but also specific expertise in areas like performance optimization using Rust or C++. Depending on your skills, you might work on optimizing our software stack that interacts with FPGA accelerators for cryptographic applications, or you may be tasked with orchestrating distributed tasks over an FPGA server cluster, collaborating with cryptography engineers. With a focus on creating efficient algorithms and understanding blockchain backends, your role will include managing complex memory and computing resources while embracing the challenges of high-speed cryptographic proof generation. If you're passionate about developing systems software and have a knack for tackling performance issues, joining Irreducible offers a unique opportunity to be at the forefront of blockchain technology. We are an open team that values creativity and collaboration, and we're excited to support relocation for the right candidates. Come and be a part of our journey to revolutionize web3!
Irreducible provides fast and cost-effective computation of zero-knowledge succinct proofs.
5 jobsSubscribe to Rise newsletter