Full-Time

Senior Protocol Engineer

Provable

Provable

11-50 employees

Zero-knowledge toolkit for private web apps

No salary listed

Remote in USA

Remote

Category
Software Engineering (1)
Required Skills
Rust
Computer Networking
Blockchain
REST APIs

Get referred to Provable

See people who can refer or advise you

Requirements
  • 5+ years of software engineering experience
  • 2-3+ years of professional Rust 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
Responsibilities
  • Engineer distributed system components such as consensus logic, memory-mapped databases, networking stacks, and synchronization logic to be performant, safe, and correct.
  • Support our infrastructure engineers in maintaining our monitoring and alerting stack to ensure high uptime and streamlined debugging. Participate in an on-call rotation to respond promptly to production incidents and outages.
  • Make protocols accessible to product teams by wrapping key functionality in clean interfaces and APIs.

Provable builds privacy-focused web apps using zero-knowledge proofs on the Aleo blockchain. It provides Leo, a programming language that makes creating verified, private zk apps easier, plus an SDK, an API, and a Leo playground; in 2025 it added Leo Wallet for private blockchain transactions. The platform lets developers create private-by-default apps where user data stays under their control, using decentralized systems and zk cryptography to prove correctness without exposing data. Its aim is to make privacy a standard on the web and to accelerate privacy-preserving blockchain development for developers and users.

Company Size

11-50

Company Stage

N/A

Total Funding

N/A

Headquarters

San Francisco, California

Founded

2019

Get referred to Provable

See people who can refer or advise you

Simplify Jobs

Simplify's Take

What believers are saying

  • Aleo testnet launched July 15, 2025, boosting private dApp deployments.
  • Leo SDK v2.1 released March 10, 2026, cuts proof time 40% for finance.
  • Polygon partnership February 2026 reaches 10M+ developers with ZK bridges.

What critics are saying

  • Risc Zero zkVM diverts developers with Rust support in 6-12 months.
  • Succinct SP1 proves ZK 3x cheaper on Ethereum, erodes Aleo in 12-18 months.
  • Aleo mainnet delays from prover issues cause exodus in 3-6 months.

What makes Provable unique

  • Provable provides Leo programming language for simplified zero-knowledge apps on Aleo.
  • Howard Wu's Zexe and DIZK advancements adopted by Ethereum and Zcash.
  • Acquired Leo Wallet in November 2025 to expand privacy-preserving transactions.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Comprehensive, top-tier healthcare coverage.

Monthly budget for expenses (home office setup & supplies, transportation, fitness & personal well-being, continued learning, etc).

Flexible vacation policy.

Ability to attend major industry conferences and global events at the company’s expense.

Regular team off-sites and retreats.

Remote Work Options