Provable (Aleo) is hiring a Senior Software Engineer, CUDA in Engineering (Remote).
About Provable
At Provable, our mission is to redefine trust and privacy in the digital world.
By creating tools that simplify the complexities of zero-knowledge technology, we empower developers to build applications that prioritize security, user control and scalability. 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, collaborative community of innovators. Through accessible resources, thoughtful design, and a focus on developer success, we aim to bridge the gap between blockchain technology and real-world applications. Together we're not just building tools-we're shaping the foundation for a private decentralized future.
Key Responsibilities
Provable is searching for exceptional senior CUDA engineers to help build privacy preserving zero knowledge protocols and products.
As a Provable senior engineer you will use your engineering talent to design, implement and maintain both cryptographic and distributed systems and help build privacy preserving products on top of those systems. Collaboration will be key. You should be able to work well with engineers, designers, and leadership to turn our products and technical vision into deliverables each quarter. You should be able to clearly and thoroughly communicate your ideas.
Key Responsibilities
- Designing, developing, and optimizing high-performance confidential computing solutions using CUDA for our core services and products.
- Identifying and resolving performance bottlenecks in complex computational workflows, leveraging advanced CUDA programming techniques and profiling tools.
- Writing clean, efficient, well-documented, and thoroughly tested CUDA code that sets a high standard for quality within the engineering team.
- Collaborating closely with developer services and infrastructure teams to integrate GPU-accelerated algorithms into our existing systems and ensure functionality.
Key Qualifications
- 5+ years of software engineering experience
- 2-3+ years of professional CUDA experience
- A strong foundation in blockchain concepts and ideally, experience contributing to a blockchain project
- Low-level system programming and/or distributed systems design experience
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.
About Provable (Aleo)
Provable, operating network infrastructure for Aleo, stewards the Aleo layer-1 for private applications, originally founded in December 2019 by Howard Wu, Michael Beller, Collin Chin and Raymond Chu with research roots at UC Berkeley. Aleo combines zero-knowledge proofs with the Leo programming language to enable private smart contracts where execution is off-chain and verified on-chain. Headquartered in San Francisco with a distributed research team, Provable focuses on prover networks, developer tooling and incentives that support Aleo's mainnet and ecosystem grants. The network emphasizes programmable privacy, compliance views and scalability via succinct proofs rather than transparent execution. Backed by leading investors, it bridges academic cryptography and production chain deployment. Expect a research-driven culture that values proof engineering, language design and building usable privacy primitives with careful attention to correctness and auditability.