About Provable

At Provable, our mission is to redefine trust and privacy in the digital world.

We empower developers with tools to build applications that prioritize security, user control, and privacy by using zero knowledge technology. We envision a future where privacy is not an afterthought but a fundamental standard, enabling a more secure and equitable Web3.

Our commitment extends beyond technology to fostering a vibrant, collaborative community of innovators. Through accessible resources, thoughtful design, and a focus on developer success, we aim to bridge the gap between cutting-edge blockchain technology and real-world applications. We’re not just building tools. We are building the foundation for a private, decentralized future.

The Role

You will be shaping the future of Leo - A purpose-built language for ZK apps, simplifying the creation of secure, verifiable smart contracts. This is a super critical and exciting time for Leo. With the launch of the Aleo mainnet, we’re closing in on the first 1000 Leo programs deployed on-chain - a huge win for digital trust and privacy!

The Senior Compiler Engineer role is a direct impact role - you will be contributing at all levels of the language, compiler, and virtual machine. Your day to day will consist of working closely with lead protocol engineers, developer services, and leadership to guide the development of Leo. 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 applications that prioritize user data security and confidentiality.

What You’ll Do

• Make Leo intuitive for developers to write clean, readable code for zero-knowledge applications.

• Improve Leo’s performance by refining internal abstractions, employing advanced optimizations, and enhancing code generation—ensuring efficient execution for complex computations.

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

• Grow Leo’s open source ecosystem by creating and maintaining high-quality technical documentation that educates and directly working with builders.

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.

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

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

• Proficiency in Rust.

Benefits

• Industry-leading salary and comp package.

• 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.