Senior Formal Verification Engineer

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 v...