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. đź“Ť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
