TechBiz Integral seeks a Senior Formal Verification Engineer to lead formal verification efforts for vector unit blocks and arithmetic units. You will design scalable testbenches, write mathematical properties, and ensure the integrity of vector pipelines in collaboration with VU microarchitects.
The role emphasizes deep formal analysis, case-splitting techniques, and close partnership with simulation teams to achieve formal sign-off on complex designs.
📌 Senior Formal Verification Engineer - Vector Unit (Madrid)
🏢 TechBiz Global
📍 Madrid
Postulate a este anuncio
Muestra tus habilidades a la empresa, rellenar el formulario y deja un toque personal en la carta, ayudará el reclutador en la elección del candidato.