Formal Verification Engineer
Senior+
🇳🇱
Enschede, Netherlands
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.
Haskell
Verified Feb 21, 2026
View listing