Top Companies Hiring Software Engineers

Listing roles in the San Francisco Bay Area | Filtered on technology: OCaml DSL for writing zk-SNARKs

Get Job Alerts

Filter by Activity

• Actively hiring

Filter by Location

• San Francisco Bay Area, CA

Filter by Role

• Android Engineer
• Front-End Engineer
• Full-Stack Engineer
• iOS Engineer

Filter by Technology & Language

• OCaml DSL for writing zk-SNARKs
• functional programming
• programming language theory
• security
• Distributed Systems
• cryptography
• cryptocurrency
• OCaml

o1labs.org

O(1) Labs is building a constant-sized blockchain that will be easy to verify regardless of scale.

Coda is the first cryptocurrency protocol with a constant-sized blockchain. Coda compresses the entire blockchain into a tiny snapshot the size of a few tweets. That means that no matter how many transactions are performed, verifying the blockchain remains inexpensive and accessible to everyone.

Role for: Android Engineer Front-End Engineer Full-Stack Engineer iOS Engineer

Technologies: OCaml DSL for writing zk-SNARKs functional programming programming language theory security distributed systems cryptography cryptocurrency OCaml

San Francisco Bay Area, CA

11 - 25 employees