Senior Formal Verification Engineer

This is a fully remote position, open to applicants in Spain.

📋 Description

• This is a highly technical Individual Contributor (IC) position, reporting directly to the Vector Unit Verification Lead.

• Create scalable formal testbenches, articulate mathematical properties, and ensure the integrity of both the algorithmic and architectural aspects of the vector pipeline.

• Collaborate with VU microarchitects to uncover deep corner-case bugs and secure formal sign-off on intricate arithmetic and execution segments.

• Design, implement, and sustain robust formal verification environments for sub-blocks within the Vector Unit.

• Apply advanced word-level modeling, bit-blasting, and algebraic rewriting techniques to validate floating-point and integer vector arithmetic units.

• Independently troubleshoot and resolve proof-convergence failures utilizing advanced reduction methods.

• Construct formal environments to mathematically demonstrate compliance with RISC-V Vector Extension specifications.

• Work closely with VU simulation engineers to enhance bug-hunting effectiveness.

⛳️ Requirements

• A B.S./M.S. in Computer Engineering, Electrical Engineering, or Computer Science with industry experience; or a Ph.D. focused on formal methods or computer arithmetic.

• Over 5 years of experience in production-level hardware verification (or a Ph.D. with 1–3 years of experience), demonstrating a successful application of formal verification in CPU, GPU, or DSP execution pipelines.

• A self-motivated engineer who enjoys complex mathematical challenges and works effectively within a localized block-level team.

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

• Solid understanding of high-width execution pipelines, vector execution units, or floating-point/integer arithmetic hardware.

• Proficient in using commercial EDA formal tools (e.g., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin).

🏝️ Benefits

• Flexible working hours

• Professional development opportunities