Formal Verification Engineer
🏠
Remote
Formal Verification Engineer verifying blockchain protocols and smart contracts. Lean4, Coq, F*, or TLA+ with functional and formal verification, focusing on invariants, safety properties, and distributed system correctness.
F*Lean4Rocq ProverTLA+
Verified Jun 7, 2026
View listing