G
AI

Cryptographer

Gensyn · Remote · $72k - $77k

Actively hiring Posted about 2 years ago

Role overview

🧭 Autonomous environment - fully remote, flat hierarchy, with low/no rules: just pure focus on delivering the compute protocol that will push the frontiers of artificial intelligence

❗️ Backed by visionaries - at the intersection of crypto infrastructure and deep learning, including: a16z crypto, CoinFund, Eden Block, Maven 11, Galaxy Digital, 7percent, Canonical Crypto, Protocol Labs, and Entrepreneur First

What you'll work on

👉 Research - identify, fully understand, and integrate relevant research concerning the verification of neural network computation

👉 Build novel PIOPs - take ownership of a novel Polynomial Interactive Oracle Proof system for verifiable machine learning computations

👉 Proof construction - develop new, lightweight, proofs to prove state-dependent graph computations have been executed as requested

👉 Engineering support - work with engineers on wider issues concerning cryptography (e.g. for our proof of data availability subsystem)

👉 Follow best practices - build in the open with a keen focus on designing, testing, and documenting your code

👉 Write & engage - contribute to technical reports/papers describing the system and discuss with the community

What we're looking for

🔥 Rust experience

🔥 Experience at an early stage, research-focused, startup

🔥 Experience with crypto protocols

🔥 Experience with machine learning

Tags & focus areas

Used for matching and alerts on DevFound
Cryptography Crypto Rust Remote A16z