Semidynamics is seeking a Senior Formal Verification (FV) Engineer to own the verification environment for a high‑performance OoO RISC‑V Vector Unit. You will design scalable testbenches, write properties, and ensure architectural integrity of the vector pipeline, collaborating with VU microarchitects to hunt corner cases and drive formal sign‑off.
Based in Barcelona with four days in the city office and one day of remote work, you will mentor peers, refine SVA patterns, and help shape formal