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
