Formal Methods Engineer for RISC-V Hardware Verification

Keysom, located in Chevanceaux, France, is seeking a Formal Methods Engineer to apply correct-by-construction design methods to hardware design. Responsibilities include constructing proofs of functional correctness and establishing simulation relationships. A Ph.D. in computer science and experience in language theory or automata theory are required.

The position offers full health insurance coverage for employees and their children and the opportunity to combine this role with university teaching.