Compiler Engineer (Rust) (Hybrid)

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