O

Senior Formal Verification Engineer

Openchip And Software Technologies SL

barcelona, barcelona, Spain Full-time July 17, 2026

Found Description

The Role:
¿Es usted el solicitante adecuado para esta oportunidad? Descúbralo leyendo el resumen del puesto a continuación.
As a Senior Formal Verification Engineer, you will contribute to defining and leading the formal verification strategy for our systems.
Responsibilities:
· 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 in...

Ready to Apply?

Submit your application for Senior Formal Verification Engineer at Openchip And Software Technologies SL

Apply Now