Senior Formal Verification Engineer - Vector Unit

TechBiz Global GmbH · Aachen

Full-time permanentOn-siteToday

AI Career Fit Estimate

54–72%

Moderate Match Likely

Estimated from role requirements

Exact score, strengths & gaps locked· upload your CV to unlock

Upload your CV to see your exact match score for Senior Formal Verification Engineer - Vector Unit at TechBiz Global GmbH — with strengths, gaps, and AI tools to help you apply.

Or create a free account to score instantly — no email needed.

Apply for this role ↗

About this role

This role involves designing and maintaining formal verification testbenches for complex vector processing units, with primary focus on proving the correctness of floating-point arithmetic, execution pipelines, and RISC-V Vector Extension compliance. The ideal candidate is a senior-level formal verification expert who can independently diagnose proof convergence issues, work closely with microarchitecture teams to find corner-case bugs, and mentor others on formal verification best practices. A standout requirement is demonstrated expertise in advanced formal techniques such as word-level modeling, bit-blasting, algebraic rewriting, and proof-convergence management for high-complexity hardware blocks.

Full job description, responsibilities and requirements available after creating a free account.

Sourced via arbeitnow · HirePadi job board

← Browse all jobs