Senior Compiler Engineer
Matter Labs
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
What We Look For in You
- We expect you’ve spent around 5 or more years working on projects that use LLVM or on LLVM itself and learned LLVM in breadth or depth.
- You ideally have experience implementing MLIR or LLVM IR-level optimizations.
- We expect you are capable of writing maintainable code in modern C++.
- To understand the connection between programming language design and compiler implementation, we expect it to be true with respect to the very language you program in.
- You can deliver results with no supervision.
- We like critical thinkers and people that communicate when they see something wrong