Senior Digital 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 availableExperience: 5+ YearsPlease 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 RoleWe 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 ResponsibilitiesDefine 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.RequirementsMaster's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.5+ years of Formal Verification experience.Strong expertise in:SystemVerilog and SVAFormal assumptions and constraintsScripting and automationTechnical KnowledgeDeep understanding of formal verification for algorithms, protocols, and SoC-level designs.Experience with:Low Power VerificationX-Propagation AnalysisConnectivity CheckingStrong design knowledge of:CPUsMemory ControllersCache architecturesExcellent debugging and root-cause analysis skills.Soft SkillsStrong 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.Flexible 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 tee@microtech-global.com