Senior Formal Verification Lead — Hybrid, AI-Driven SoC

Openchip & Software Technologies S.L. is seeking a Senior Formal Verification Engineer to lead the formal verification strategy across our SoC platforms. You will work with system architects to establish verification environments, write SystemVerilog assertions, and guide the use of formal methods to improve IP and chip-level verification efficiency. You will design verification methodologies, create multi-level test plans, analyze coverage, and participate in regression frameworks and project …