At TechBiz General, we are providing recruitment service to our TOP clients from our portfolio. We are currently seeking a Senior Formal Verification (FV) Engineer to join one of our clients' teams. In this position, you will be the dedicated formal expert for the VU team, responsible for designing scalable formal testbenches, writing mathematical properties, and ensuring the absolute algorithmic and architectural integrity of our vector pipeline. Block-Level Execution & Convergence Engineering (90%)

- Partner with VU microarchitects during early-stage RTL development to drive formal-friendly coding styles and structural design patterns.
- S. in Computer Engineering, Electrical Engineering, or Computer Science with practical industry execution; Experience: 5+ years of production-grade hardware verification experience (or Ph.Formal Tools: Proficient command of commercial EDA formal tools (e.g., Scripting proficiency (Python, Tcl, or Bash) for testbench automation.

Senior Formal Verification Engineer (Madrid)

- TechBiz Integral

📌 Senior Hardware Verification Engineer (Madrid)
🏢 Sin nombre
📍 Madrid