Senior Formal Verification Engineer

Senior Formal Verification Engineer – Vector Unit (VU)

We are looking for a Senior Formal Verification Engineer to take hands-on ownership of formal verification for a high-performance Out-of-Order RISC-V Vector Unit. The role combines verification environment development, proof debugging, and collaboration on microarchitecture, with a strong focus on datapath and floating-point verification rather than protocol verification.

Responsibilities

• Design and maintain formal verification environments for complex Vector Unit datapath blocks.

• Verify IEEE-754 floating-point and integer vector arithmetic using word-level modeling, bit-blasting, and algebraic rewriting.

• Debug proof-convergence failures, counterexamples, over-constraints, and state-space explosions.

• Define mathematical properties and prove compliance with the RISC-V Vector (V) Extension specification.

• Collaborate with microarchitects on formal-friendly RTL structures and architectural decisions.

• Review SystemVerilog Assertions and coordinate verification coverage with simulation engineers.

Requirements

• B.S. or M.S. in Computer Engineering, Electrical Engineering, or Computer Science, or a Ph.D. focused on formal methods or computer arithmetic.

• 5+ years of production-grade hardware verification experience, or a Ph.D. plus 1–3 years of industry experience.

• At least 3 years of hands-on datapath verification experience, ideally involving CPU, GPU, DSP, or vector execution pipelines.

• Strong expertise in arithmetic formal verification, floating-point verification, algebraic rewriting, and word-level modeling.

• Proficiency with commercial EDA formal tools such as Cadence JasperGold, Synopsys VC Formal, or Siemens OneSpin.

• Native fluency in SystemVerilog and SystemVerilog Assertions, plus scripting skills in Python, Tcl, or Bash. Valuable: RISC-V core verification, Out-of-Order execution, and RISC-V Vector and Floating-Point extensions.

Benefits

• Salary range: Up to 60k

• Hybrid working model (4 days per week in the Barcelona office and 1 remote day; candidates based elsewhere in Europe may be considered, with relocation to Barcelona expected).

• One week per year working from anywhere in the world.

• Accelerated professional development path.

• Collaborative, technical, and growth-oriented environment.

If you believe you are the ideal candidate for the Senior Formal Verification Engineer role, do not hesitate to apply to the offer with your LinkedIn profile or uploading your CV.

We will contact you very soon!

Truthfully, your People Partner