The English-language job board for Spain

Verification Lead for 4-Core Coherent System

Hybrid in Barcelona·Added 4 days ago (last checked 3 Nov)

Semidynamics

35 open roles

Our summary

Work mode
Hybrid, Barcelona
English
Required
Experience
12+ years
Education
University degree

Visa options

  • The ad doesn’t mention sponsorship

    Not a refusal, but not a yes. Worth asking in your first message.

Find jobs with visa support

Skills

Requirements

What we're looking for

Must have

  • 12+ years of hands-on design verification.

  • Expert SystemVerilog and UVM: you have architected reusable, multi-agent environments.

  • Proven technical leadership: you have defined a verification plan, driven coverage closure and guided other engineers.

  • Experience managing people: you have led verification engineers or leads, and helped hire them.

  • Hands-on experience verifying cache-coherent multi-core systems or subsystems.

  • Experience with a major simulator and debugger (Questa, VCS or Xcelium; Visualizer or Verdi).

  • Working knowledge of SoC bus protocols: AXI, CHI.

  • B.Sc. or M.Sc. in Electrical or Computer Engineering, or equivalent experience.

  • Fluent English.

Nice to have

  • RISC-V, CPU cluster or AI accelerator verification.

  • Scripting (Python, Bash) and experience running regression and CI infrastructure (GitLab).

  • Formal verification.

  • Emulation (Palladium, ZeBu or Veloce) and post-silicon debug.

  • Strong integration verification: connectivity, reset and clock, interrupts, boot flow.

Pay & benefits

What you'll get

  • Work at one of Europe's most promising deep-tech semiconductor scale-ups

  • Accelerated development path, with room to grow into confidential computing, memory isolation and software security

  • Competitive package

  • A collaborative, technical, growth-oriented environment that values direct ownership and clear thinking

The role

You will lead the verification of our 4-core coherent AI system, through a team of 3-4 verification leads, all the way to tape-out sign-off.

What you'll do

Own the verification strategy for a 4-Core coherent system

  • Write the verification plan: what is checked where, by whom, and how we know we are done.

  • Set and track sign-off criteria for tape-out: functional and code coverage, bug trends, open risks.

  • Decide where simulation, emulation and FPGA each give the best return, together with the respective team leads.

Lead the team

  • Lead 3-4 block verification leads (covering L2 cache, interconnect, core and other components).

  • Hire and grow the team: recruit engineers, mentor the leads, set clear goals.

  • Make sure the team has healthy regressions and CI, and push automation.

  • Be the verification voice in architecture and microarchitecture reviews, and report status clearly to project management.

Run the project

  • Plan and estimate the verification effort, and keep the schedule realistic.

  • Track tape-out risks and decide on mitigations early.

  • Manage EDA licences and compute resources.

Why this role is different

  • You own the verification strategy. The plan you write is the one the company tapes out with.

  • You build the organisation. You shape the team, hire the people you want to work with, and choose methods and tools.

  • A seat at the table. You review the architecture and microarchitecture with the design leads, early enough to change them.

  • A hard, current problem. Verifying a memory-centric, coherent multi-core AI system is one of the most interesting challenges in the industry today.

How you'll work

  • 4 days per week in the Barcelona office (city center), 1 day working from home

  • 1 week of work from anywhere in the world

How you work

  • You always ask: "Who/what actually checks this?"

  • You keep inventing new scenarios to find the next bug before it finds us.

  • You like to mentor, and you enjoy seeing engineers on your team grow.

About Semidynamics

Industry
Technology

In their own words

About the company & team

Semidynamics builds memory-centric AI inference silicon in Barcelona. Our chips combine RISC-V CPUs, Vector and Tensor Units and our Gazzillion Misses™ memory engine, so that large language models are never starved of data. In April 2026, SK hynix, one of the world's leading memory makers, made a strategic investment in the company.

You will not inherit a mature flow at a company of 10,000 people. You will shape it, with a team you lead and a design team one desk away.

All open roles at Semidynamics
WhatsApp