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-Propagation Analysis
Connectivity Checking
Strong design knowledge of
CPUs
Memory Controllers
Cache architectures
Excellent debugging and root-cause analysis skills.
Soft Skills
Strong communicator and team player.
Comfortable working in multicultural and remote environments.
Self-motivated, adaptable, and capable of working autonomously.
Experience mentoring or guiding other engineers is beneficial.
What's on Offer?
Opportunity to work on cutting-edge AI and semiconductor technologies.
High levels of ownership and technical influence.
Versátil hybrid working model.
Long-term career growth within a fast-growing European technology company.
If interested please get in touch and share your CV with me
[email protected]
📌 Senior Formal Verification Architect - AI & SoC (Hybrid) (Madrid)
🏢 microTECH Global
📍 Madrid