Compiler Engineer

The Role

Provable is seeking talented Compiler Engineers to build Leo, a domain-specific language that abstracts the complexities of zero-knowledge proofs and allows developers to intuitively build applications on the Aleo blockchain. You will play a critical role in the design of the Leo language, from adding fundamental features to incorporating advanced language concepts. You will research novel optimizations, improve internal abstractions, and develop better tooling for the Leo compiler.

You should have a passion for open-source software and programming languages. You will collaborate with a core group of stakeholders and make decisions that will define the future of Leo. Your work will empower developers to build novel applications on Aleo.

Responsibilities

• Design and develop new language-level features in Leo, ranging from standard features like type inference to more advanced ones like first-class functions.
  

• Improve the quality of the Leo compiler, including its internal abstractions, optimizations, and code generation passes. These will include well known ideas like compile time function evaluation as well as new concepts like datatype restructuring.
  

• Work with internal and external teams to improve the developer experience and tooling for Leo.
  

• Contribute to and maintain high-quality technical documentation to educate and empower Leo Developers.

What we’re looking for

• Strong background in engineering, with an emphasis on compilers, programming languages or language-related tools.
  

• A foundation in blockchain concepts and, ideally, experience contributing to or working on a blockchain project.
  

• 1+ years of experience working in an engineering organization.
  

• Ability to clearly communicate and document your thoughts and code.
  

• Proficiency in Rust.
  

• Ability to come into the SF office 3-5 days a week.

Benefits

• Monthly budget for expenses (home office setup & 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 company’s expense.

• Regular team off-sites and retreats.

NOTE: We cannot sponsor visas of any kind at this time.

Provable is committed to diversity in its workforce and is proud to be an equal-opportunity employer and to review all of our job postings to minimize biased language. Provable does not make hiring or employment decisions on the basis of race, color, religion, creed, gender, national origin, age, disability, veteran status, marital status, pregnancy, sex, gender expression or identity, sexual orientation, citizenship, or any other basis protected by applicable local, state, or federal law. Provable will also consider for employment qualified applicants with arrest and conviction records in a manner consistent with San Francisco’s Fair Chance Ordinance and similar local laws.‍

Global Data Privacy Notice for Job Candidates and Applicants

Depending on your location, the General Data Protection Regulation (GDPR) and California Consumer Privacy Act (CCPA) may regulate the way we manage the data of job applicants.