We are seeking a Senior Formal Verification Engineer to play a key role in verifying advanced AI and silicon technologies that will power the next generation of intelligent systems.
Location: Barcelona, Spain (also open to Rome, Italy, Limerick, Ireland and Munich, Germany)
Working Model: Hybrid and Remote option available
Experience: 5+ Years
Please note: Applicants must already have the right to live and work in the EU. Unfortunately, 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 architectural and design specifications.
- Write, debug, and maintain SystemVerilog Assertions (SVA).




- Analyse coverage results and collaborate with design teams to close coverage gaps.
- Support design integration, test vector delivery, debugging, and regression activities.
- Develop scripting and automation solutions to improve verification workflows.
- Contribute to methodology development and adoption of advanced verification techniques.
- Participate in technical reviews and mentor junior engineers.
- Collaborate with globally distributed engineering teams.

Requirements
- Master's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.
- 5+ years of Formal Verification experience.
- Strong expertise in:
- SystemVerilog and SVA
- Formal assumptions and constraints
- Scripting and automation

Technical Knowledge
- Deep understanding of formal verification for algorithms, protocols, and SoC-level designs.
- Experience with:
- Low Power Verification
- X-Pr

📌 Senior Formal Verification Architect (España)
🏢 microTECH Global
📍 España