05 ago
|
Semidynamics
|
Barcelona
05 ago
Semidynamics
Barcelona
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. xqbhyrx
No espere a enviar su solicitud después de leer esta descripción; se espera un gran volumen de candidaturas para esta ocasión.
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
#J-18808-Ljbffr
Hay opciones de teletrabajo/trabajo desde casa disponibles para este puesto.
📌 Senior Formal Verification Engineer — 4‑Day Hybrid (Barcelona)
🏢 Semidynamics
📍 Barcelona