About the company
The power of ZK at your fingertips. No cryptography degree required. Multiple groundbreaking solutions stacked into one unified code ecosystem. With Provable, you can code, deploy, and run your apps in a single place.
Job Summary
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. 📍3+ 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.
