What you'll do
- Author formal specs; select tools (Coq/Isabelle/K)
- Create models and proofs
- Partner with auditors for findings
What we're looking for
- Formal methods background
- Proof tooling
- Protocol literacy
Where this role fits
This role sits in the Smart‑Contract Security & ZK TalentZone and commonly supports packs like Cost & Quality Sprint and Guardrail & Reg Audit. Work is routed under QA; this is a managed bench, not a marketplace.