Provable Inc.

At Provable, you’ll join an elite team building infrastructure, products, and services for the Aleo ecosystem and other ZK technologies. We’ve built Aleo, the world’s first platform for zero knowledge and have published papers in the space such as Zexe and Leo.

 

To date, Provable has raised Series B funding at a 1.45B valuation from top investors like a16z, SoftBank, and Kora.

 

Provable is crypto-native team and has been featured in Coindesk, Blockworks, and BusinessWire.

Jun 12, 2024  
$150,000 - $200,000 yearly
The Role Provable is seeking a talented Developer Relations Lead to provide a key link between the Leo team and the Aleo developer ecosystem. This role is your stage to interact with users, educate developers, and grow the broader community. You will collaborate with brilliant minds in product and engineering, ensuring that internal teams and external developers are aligned and benefiting from one another. You will become a Leo power user and use your engineering skills to research novel use cases and applications. You should have a passion for open-source software and community development. Your work will impact a global ecosystem of developers on Aleo’s decentralized network. Responsibilities Develop and publish content to educate and inspire developers on using Provable's products and services, specifically the Leo programming language. Manage critical interfaces with the developer community, including Core Developer Calls, Discord, and in-person...
Provable Inc. Full time
Jun 12, 2024  
$150,000 - $250,000 yearly
Summary Provable is seeking dedicated Rust engineers to help build the world’s leading developer platform for zero-knowledge applications. As a Provable software engineer, you will join a small team building tools to maintain and grow the Aleo ecosystem. This may include microservices, infrastructure, as well as other web3 enabled applications. You will be tasked with scoping, designing, and implementing scalable data pipelines that bring web3 to the forefront. You should have a passion for open-source software and understand that your code will be widely used by ecosystem contributors. By architecting new frameworks, transforming data, and shipping production-ready code, you will be contributing to a fast growing team that is passionate about privacy and transforming the digital age. Key Qualifications Proficiency in Rust. Ability to clearly communicate and document your thoughts and code. At least 3 years of experience in software engineering,...
Provable Inc. Full time
Jun 12, 2024  
$200,000 - $275,000 yearly
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...
Provable Inc. Full time