Overview
Formal Verification Engineer extending the Clash hardware description language and Haskell for correct-by-design hardware and software. Connecting Haskell with verification tools, proof assistants like Agda or Coq, model checking, and SMT for formal specification and verification of digital designs.
Key Information
- Seniority Level
- Senior+
- Locations
-
🇳🇱
Enschede, Netherlands
- Remote Friendly
- No
- Languages
- Haskell