Overview
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.
Key Information
- Locations
-
Remote
- Remote Friendly
- 🏠 Yes
- Languages
- F*Lean4Rocq ProverTLA+