The English-language job board for Spain

Senior Formal Verification Engineer

Hybrid in Barcelona·Full-time·Added 19 days ago

Openchip

17 open roles

Apply

Overview

Job details

Permanent contract
Full-time hours.
Hybrid
Office and home days — the ad has the split.

Requirements

Have the right to work in Spain
Openchip doesn't mention sponsorship in the ad.
Be near Barcelona, Spain (Hybrid) for hybrid days
No relocation package mentioned.
Have 5+ years of experience
Senior-level role.
Master's degree
“Master's degree in relevant field” — per the ad.

Pay & benefits

What you'll get

The opportunity to build a cloud AI deployment platform that will power next generation AI systems.
A collaborative, innovation-driven environment with significant autonomy and ownership.
Hybrid work model with flexible scheduling.
A chance to join one of Europe's most ambitious companies at the intersection of AI and silicon engineering.
Position based in Barcelona, open to other European locations like Rome (Italy)

We're looking for exceptional engineers ready to shape the future of AI infrastructure. If building scalable, cloud-native AI deployment platforms excites you, we'd love to meet you.

At Openchip & Software Technologies S.L., we believe a diverse and inclusive team is the key to groundbreaking ideas. We foster a work environment where everyone feels valued, respected, and empowered to reach their full potential-regardless of race, gender, ethnicity, sexual orientation, or gender identity.

Requirements

What we're looking for

· Master's degree in relevant field

· Min 5 years of experience in relevant field of Formal Verification

· A deep understanding of formal verification, including applications, verification of algorithms, protocols, and application of formal verification at SoC level

· Made significant contributions in the use of formal verification and be able to guide formal verification development into new areas

· Formal tools, System Verilog, SV Assertions and Assumptions, Scripting skills

· Apps in formal tools (Low power, X-prop, Connectivity checking, Register Map Verification)

· Design debug, Deep bug hunting

· Design knowledge of CPU, NoC/Interconnect, Memory Controllers, Caches

The role

As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.

What you'll do

· Work closely with system architects and design team to establish formal verification environment and setting

· Guide the use of formal verification so that correct formal techniques are used appropriately to improve efficiency of IP and SoC level verification

· Contribute to define Formal Verification Methodologies

· Produce IP level, subsystem level and chip level test plans based on Design documents and interaction with design and architecture teams

· Write and debug System Verilog assertions

· Analyze coverage data and working with Design teams to address coverage holes

· Contribute to developing framework for running regressions and debugging regression failures

· Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level

· Scripting/Automation skills for improving workflows along with the usage of most advanced AI techniques

· Participate in project reviews

· Provide supervision/guidance to other team members

Soft skills

· Team player, able to work with multiple cultures both on site and remotely

· Autonomous and flexible is mandatory

About Openchip

Openchip is a Barcelona-based semiconductor startup focused on designing advanced RISC-V processors and system-on-chip (SoC) solutions for high-performance computing, AI, and data center applications. The company is building a team of engineers to develop open, customizable silicon that challenges established players in the industry. With a strong emphasis on hardware architecture, security, and compiler development, Openchip is positioning itself as a key player in the European semiconductor ecosystem.

Openchip is headquartered in Barcelona, Spain, and operates primarily from this location, making it a unique opportunity for international professionals to join a cutting-edge semiconductor company in Southern Europe. The work culture is engineering-driven, with a focus on innovation and open-source technologies. For international hires, the company offers the chance to work on complex technical challenges in a growing sector, while being based in a vibrant city with a high quality of life. The team is likely to be multicultural, given the global nature of the semiconductor talent pool.

Industry: Semiconductors
Employees: 50
Headquarters: Barcelona, Spain
In Spain: Barcelona
Website: openchip.com

Good to know if you are moving

Openchip is headquartered in Barcelona, a major European tech hub with a strong international community and excellent quality of life.
The company is focused on RISC-V architecture, which is an open standard, offering engineers the chance to work on open-source silicon technology.
As a startup, Openchip offers the opportunity to have a significant impact on the design and development of new products from early stages.
The company is likely to offer a competitive compensation package and the opportunity to work in a growing sector in Spain.
Barcelona has a well-connected international airport and a large expat community, making relocation easier for foreign professionals.

All open roles at Openchip