Provable is hiring a
Web3 Compiler Engineer

Compensation: $200k - $274k

Location: San Francisco

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.
Salary & Benefits

  • $200K—$275K 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 (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 can not 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.



Apply Now:

Compensation: $200k - $274k

Location: San Francisco


Receive similar jobs:

Web3 Rust Developer Jobs

Job Position and Company Location Tags Posted Apply
San Francisco, CA, United States
Apply
San Francisco, CA, United States
Apply
San Francisco, CA, United States
Apply
San Francisco, CA, United States
Apply
San Francisco, CA, United States
Apply
San Francisco, CA, United States
San Francisco, CA, United States
San Francisco, CA, United States
Apply
San Francisco, CA, United States
Apply

Recommended Web3 Rust Developers for this job

/@destev


See Profile
/@sumoaps


See Profile
/@kevinzh0a


See Profile
/@seimosis


See Profile
/@devenye


See Profile
Cover Letter / AI Interview