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.
Job title: Senior Formal Verification Engineer
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
Essential
-Master’s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.
-5+ years of Formal Verification experience.
-Strong expertise in:
-Formal Verification methodologies
-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
-Register Map Verification
-Strong design knowledge of:
-CPUs
-NoC / Interconnect architectures
-Memory Controllers
-Cache architectures
-Excellent debugging and root-cause analysis skills.
Soft Skills
-Strong communicator and team player.
-Comfortable working in multicultural and remote environment
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
vacanciesineu.com Overview Moncler is looking for a Store Manager to lead its boutique in Chamonix.…
vacanciesineu.com Overview STONE ISLAND is looking for a Store Manager for its Outlet in La…
vacanciesineu.com Vous recherchez un stage en Business Management et vous avez un intérêt pour l'environnement…
vacanciesineu.com La Direction Debt Restructuring & Advisory Services (DAS) regroupe l’ensemble des activités liées à…
vacanciesineu.com Vous recherchez un stage en Banque et vous avez un intérêt pour les financements…
vacanciesineu.com Apply Now To help us track our recruitment effort, please indicate in your email/cover…