> Markdown version of [/jobs/ext/1615631-senior-formal-verification-architect-ai-soc-hybrid](https://www.wearedevelopers.com/jobs/ext/1615631-senior-formal-verification-architect-ai-soc-hybrid). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Senior Formal Verification Architect - Ai & Soc (Hybrid)

- **Company:** microTECH Global LTD
- **Location:** Barcelona, Spain (Remote available)
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, Computer Engineering, Software Debugging, Formal Verification, Process Driven Development, Subsystems, SystemVerilog, Working Model 2D, Information Technology
- **Published:** July 27, 2026
- **Apply:** https://www.buscojobs.com.es/senior-formal-verification-architect-ai-soc-hybrid-en-barcelona-ID-364638285

## About the Role

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.

## Description

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.xqbhyrx If interested please get in touch and share your CV with me Para una comprensión completa de esta oportunidad y de lo que se requerirá para ser un candidato exitoso, siga leyendo.#J-*****-LjbffrHay opciones de teletrabajo/trabajo desde casa disponibles para este puesto.


## Related Videos

- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)
- [Machine Learning for Software Developers (and Knitters)](https://www.wearedevelopers.com/videos/154-machine-learning-for-software-developers-and-knitters)
- [10M Data Records Lost, Underwater Computing, and Psychedelic Fish - Matthias Geniar](https://www.wearedevelopers.com/videos/1908-10m-data-records-lost-underwater-computing-and-psychedelic-fish-matthias-geniar)
- [You don't need to write the code. You need to become a verification architect and prove it's correct](https://www.wearedevelopers.com/videos/100023-you-don-t-need-to-write-the-code-you-need-to-become-a-verification-architect-and-prove-it-s-correct)
- [The Neuro-Architecture of Productivity: How Work Environments Impact Cognitive Performance](https://www.wearedevelopers.com/videos/1122-the-neuro-architecture-of-productivity-how-work-environments-impact-cognitive-performance)
- [Develop on Windows, Deploy on Red Hat Enterprise Linux](https://www.wearedevelopers.com/videos/1600-develop-on-windows-deploy-on-red-hat-enterprise-linux)

## Related Articles

- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Find a Developer Job: 12 Best Job Sites For Developers](https://www.wearedevelopers.com/magazine/165-find-a-developer-job-12-best-job-sites-for-developers)