Senior Formal Verification Engineer (Valladolid)

Microtech Global

📍 valladolid, kingdom of spain, Spain

Full-time Engineering

Job Description

Senior Formal Verification Engineer – Barcelona, Spain (also open to Rome, Italy, Limerick, Ireland, Munich, Germany)
A continuación, encontrará un desglose completo de todo lo que se requiere de los posibles candidatos, así como la forma de presentar su candidatura. ¡Mucha suerte!
Hybrid and Remote option available.
Experience: 5 Years.
Applicants must already have the right to live and work in the EU. Visa sponsorship is not available for this position.
About the Role
We are seeking a Senior Formal Verification Engineer to help define and drive formal verification strategies for next‑generation AI and semiconductor platforms. Working closely with architects, designers and verification teams, you will contribute to IP, subsystem and SoC‑level verification using advanced formal methodologies.
Key Responsibilities
Define and implement formal verification strategies across IP, subsystem and SoC projects.
Develop verification plans from archite...
Apply for this Position