Overview
Formal Verification Engineer translating design intent into precise properties and executing formal proofs with Lean 4, verifying production hardware and software, and collaborating with customers to scope requirements and deliver reproducible verification workflows.
Key Information
- Locations
-
🇬🇧 🇺🇸
London, England, UK | Palo Alto, CA, USA
- Remote Friendly
- No
- Languages
- Lean4