At Matter Labs, we are building zkSync
: a blockchain scaling solution secured purely by cutting-edge cryptography. Our mission is to scale Ethereum to billions of users, fully preserving its most valuable properties — permissionlessness, trustlessness, and resilience, — in order to protect and enhance global economic freedom.
We hold a strong opinion that zero-knowledge proofs (ZKP) are the only technology today that can achieve this goal.
We are also proud to be the pioneer of the ZKP tech on Ethereum, and one of the few companies in the world with strong expertise in this field. Our contributions over the last 3 years include the first ZK rollup ever built, the first implementation of recursive ZK proofs on Ethereum, and the world’s first practical FPGA-based ZKP accelerator. Most recently, we launched a zkEVM testnet
, making zkSync the first ZK rollup capable of executing native Ethereum smart contracts.
Across all hires we make at Matter Labs, regardless of role or team, we look for signals that a candidate will thrive in a culture like ours
, where we value freedom, ownership mindset, and meritocracy.
We are looking for a Senior Software Engineer to join our Core team. Your daily responsibilities will include:
- Design and implementation of the zkSync smart contract platform: zero-knowledge-proof-friendly virtual machine
- Protocol full node optimized for high-load, p2p network, consensus, etc.
- We expect you to independently conduct research in your area of ownership, design, implement and document solutions, and potentially lead a team.
- Driven by passion, curiosity, and desire to make a meaningful contribution to the world
- Fluency in Rust is not required but is an advantage since it is the main programming language we are working with
- Deep understanding of software engineering best-practices
- Ownership mindset and a track record of successfully accomplished projects
- Experience in cryptography / high-load / protocols design will be a big advantage
- Excellent English
- Lastly, it is critical that you have knowledge of common algorithms, data structures, and their computational and memory complexities, as well as experience in implementing them from scratch