Senior Formal Verification Architect - Ai & Soc (Hybrid)

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 So C-level verification using advanced formal methodologies. Key Responsibilities Define and implement formal verification strategies across IP, subsystem, and So C projects. Develop verification plans from architectural...