ZK proofs Jobs - August 2025

Filters

Refine the list, then save the search if it is useful.

Sort by

Search

Location

Compensation

Contact info

Remote

Onsite

Reset

Save this search

Turn the current filters into an email alert.

Log in to save filtered searches as alerts.

Log in Create account

Page 1 of 1

Hellas.AI

Rust engineer

Posted 9 months, 4 weeks ago

Hellas.AI is building a compiler for categorical deep learning to power decentralised, serverless AI. We're looking for an experienced Rust engineer. You must have demonstrated experience in designing and implementing BFT consensus protocols, ability to engag…

Roles

Rust engineer

Tech stack

GPU programming ML compilers Rust category theory deep learning AI array programming languages ZK proofs BFT consensus protocols

Location

Remote
Partisia

Programming Language Expert

Posted 4 years, 11 months ago

Do you want to build the next generation internet platform? Blockchains with smart contract support (like Ethereum) allow for arbitrary computations with guaranteed integrity. However, computations are public, which is often a major limitation. Partisia is ma…

Roles

Programming Language Expert Software Developer Governance

Tech stack

smart contracts game theory compilers secure multiparty computation cryptography graph theory blockchain MPC optimization ZK proofs distributed systems finance

Location

Aarhus, Denmark, REMOTE