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).\nTo 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.\nThe Product\nPrevious compilers for smart contracts were usually written from scratch. That meant reinventing the wheel, a poor optimization pipeline, and lack of tools. We aim to fix this and deliver production-quality toolchains and a better development experience to our customers. That’s why we use LLVM, follow LLVM development practices, and upstream our fixes. In particular, we strongly prefer to reuse well-written and decently-tested code.\nThe Role\nYou will be responsible for implementing our LLVM-based compilers from Solidity, Vyper, and other languages to zkSync EraVM bytecode.\nWe expect you to independently conduct research in your area of ownership, design, implement, and document solutions.\nWhat You'll Be Doing\n\n\n\n* zkSync EraVM back-end migration to the latest version of the ISA\n\n* Back-end optimizations - better selection patterns, better ISA utilization, peephole passes, etc.\n\n* 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\n\n* Front-end optimizations - our front-ends currently produce correct IR, but it lacks attributes and metadata that would make analyses and transformations more efficient\n\n* Debug information and debugger support\n\n* Profiler support\n\n* Binary format development and linker integration - we currently use a custom linker written in Rust and want to migrate to LLVM one day\n\n\n\nWhat We Look For in You\n\n\n\n* You are driven by passion, curiosity, and desire to make a meaningful contribution to the world\n\n* Experience with compiler/toolchain development using LLVM framework\n\n* Fluency in C++, at least 3+ years of experience\n\n* Good understanding of computer architecture and ability to work with machine-level representation of a program\n\n* Deep understanding of software engineering best-practices\n\n* Ownership mindset and a track record of successfully accomplished projects\n\n* Fluent written and spoken English\n\n* Knowledge of common algorithms, data structures, and their computational and memory complexities is critical, as well as experience of implementing them from scratch\n\n\nWorking at Matter Labs\nAt Matter Labs, you have the freedom to work how you want, when you want, and from where you want. All positions are 100% remote (with optional travel to team and/or industry events). We operate in lean and nimble teams, with no time tracking and minimum bureaucracy. We move fast. Only results matter. We will provide you with everything you need to learn, grow, and be productive.\nOur results-only environment means anyone who believes in our mission can join us, regardless of background, sexual orientation, race, gender, and age. Both our team and community are made up of people from diverse backgrounds. That's why, out of politeness and respect, we refrain from opinions on politics, religion, or sex at the workplace.\nWe designed our culture around the tenants of freedom and ownership. This ethos will underpin our positive-sum community as we evolve toward full decentralization.\nIf this role resonates with you, apply now for prompt feedback.\nRead more about working at Matter Labs here.\nImportant: We are remote-first, operating in the timezones between UTC-5 (Latam and Atlantic Coast) to UTC+7 (South-East Asia). While we’re currently not hiring in the US, we do consider US-based applicants willing to relocate. \n\n#Salary and compensation\n No salary data published by company so we estimated salary based on similar jobs related to Travel, Senior and Engineer jobs that are similar:\n\n $80,000 — $120,000/year\n
\n\n#Benefits\n 💰 401(k)\n\n🌎 Distributed team\n\n⏰ Async\n\n🤓 Vision insurance\n\n🦷 Dental insurance\n\n🚑 Medical insurance\n\n🏖 Unlimited vacation\n\n🏖 Paid time off\n\n📆 4 day workweek\n\n💰 401k matching\n\n🏔 Company retreats\n\n🏬 Coworking budget\n\n📚 Learning budget\n\n💪 Free gym membership\n\n🧘 Mental wellness budget\n\n🖥 Home office budget\n\n🥧 Pay in crypto\n\n🥸 Pseudonymous\n\n💰 Profit sharing\n\n💰 Equity compensation\n\n⬜️ No whiteboard interview\n\n👀 No monitoring system\n\n🚫 No politics at work\n\n🎅 We hire old (and young)\n\n
\n\n#Location\nRemote - EMEA