Senior Compiler Engineer

At Matter Labs, we believe freedom drives progress and prosperity. We don’t see ourselves as a company, but as a team aligned around a single mission: to advance personal freedom for all (see ZK Credo ).

To achieve this goal, we’re building zkSync — a credibly neutral, fully open source technology stack and network on top of Ethereum, which is owned and governed by its community. We use advanced cryptography called zero-knowledge proofs to scale Ethereum infinitely without compromising on security or decentralization. With a world-class team, a community of over 1M supporters across Twitter + Discord , and hundreds of millions $ in funding , we have abundant resources to accomplish the mission.

The Role

You will be responsible for implementing our LLVM-based compilers from Solidity, Vyper, and other languages to zkSync EraVM bytecode.

We expect you to independently conduct research in your area of ownership, design, implement, and document solutions.

What We Work On

As the team we help the company to scale Ethereum to promote personal sovereignty . The company has a state of the art zkRollup implemented as a circuit to make computation in blockchain fast and cheap. The team made LLVM-based Solidity and Vyper toolchains for our target to make it accessible to smart contract developers. Now we prioritise improving developer’s experience and making our compilers to optimize better.

Why join the Matter Labs compiler team?

• Around 80% of your time will be spent on new feature development, not maintenance.
• You will work in the domain where compilation time consuming, computationally heavy optimizations are possible and profitable.
• You will work in the domain where good toolchains aren’t common, so your work could make other developer’s lives noticeably better.
• You will have an opportunity to own a big part of the codebase, be independent in task prioritization, and be measured by results only..
• You will work remotely with a flexible schedule.
• You will be heard by leadership and other members of the team.
• You will be compensated in the top 15% of the market and will be entitled to generous share options
  
  

What You'll Be Doing

• zkSync EraVM back-end migration to the latest version of the ISA
• Back-end optimizations - better selection patterns, better ISA utilization, peephole passes, etc.
• Optimizer tuning - zkSync EraVM is different from a typical LLVM target, so passes like instruction combiner need to be configured, and the pipeline itself has to be tuned
• Front-end optimizations - our front-ends currently produce correct IR, but it lacks attributes and metadata that would make analyses and transformations more efficient
• Debug information and debugger support
• Profiler support
• Binary format development and linker integration - we currently use a custom linker written in Rust and want to migrate to LLVM one day