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