About the role
We are seeking dedicated compiler engineers to help build the worlds leading developer platform for zero-knowledge applications…
As our Compiler Engineer, you will join a small team to maintain and test the official implementation of the Leo programming language (Rust-inspired, reminiscent of Javascript and Typescript). You will be tasked with designing new language tools, implementing new compiler features, maintaining existing features, and shipping production-ready code. You should have a passion for open-source software and understand that your code will be widely used to deploy programs on a decentralized network. You should care about privacy in the digital age and have a desire to contribute to the space.
Responsibilities
- Design, develop, and deploy new language constructs in the high-level Leo compiler and low-level snarkVM virtual machine to harness the power of zero-knowledge proofs.
- Build, test and ship customer-facing services and products in Rust and web languages.
- Work with engineers, designers, and leadership to turn our product and technical vision into deliverables each quarter.
- Write high-quality, well-tested code to meet the needs of your customers.
Requirements
- At least 3 years of experience in software engineering, including 1 year of Rust development.
- Experience contributing to a new programming language and/or implementing compiler passes such as type inference, constant folding, or canonicalization.
- Familiarity with cryptography and zkSNARK programming concepts such as R1CS constraints.
- Interest in fuzzing, formal verification, or other PL research.
- You have gone through rapid growth in your company (from startup to mid-size).
- A degree in Computer Science or a background in programming language design.
�� Ability to clearly communicate and document your thoughts and code.
Nice to have
- Ideally looking for someone located in SF / Bay area.
- Proficiency in compiler optimizations and language theory.
Salary & Benefits
- $180K- $265K plus an equity package determined through the interview process after a review of experience, knowledge, skills, as well as alignment with market data
- Monthly budget for expenses relating to working in a remote environment (home office set up & supplies, transportation, fitness & personal well-being, continued learning, etc.)
- Comprehensive, top-tier healthcare coverage
- Flexible vacation policy
- Ability to attend major industry conferences and global events at the companys expense
- Regular team off-sites and retreats