Found Description
At TechBiz Global, we are providing recruitment service to our TOP clients from our portfolio. We are currently seeking a Senior Formal Verification (FV) Engineer to join one of our clients' teams.
Reporting directly to the Vector Unit Verification Lead, this is a highly technical Individual Contributor (IC) role. In this position, you will be the dedicated formal expert for the VU team, responsible for designing scalable formal testbenches, writing mathematical properties, and ensuring the absolute algorithmic and architectural integrity of our vector pipeline. You will work side-by-side with VU microarchitects to hunt down deep corner-case bugs and achieve formal sign-off on high-complexity arithmetic and execution blocks.
Key ResponsibilitiesBlock-Level Execution & Convergence Engineering (90%)
End-to-End Testbench Ownership:
Design, deploy, and maintain robust formal verification environments for complex Vector Unit sub-blocks (e.G., Vector Execution Pipelines, ...
Reporting directly to the Vector Unit Verification Lead, this is a highly technical Individual Contributor (IC) role. In this position, you will be the dedicated formal expert for the VU team, responsible for designing scalable formal testbenches, writing mathematical properties, and ensuring the absolute algorithmic and architectural integrity of our vector pipeline. You will work side-by-side with VU microarchitects to hunt down deep corner-case bugs and achieve formal sign-off on high-complexity arithmetic and execution blocks.
Key ResponsibilitiesBlock-Level Execution & Convergence Engineering (90%)
End-to-End Testbench Ownership:
Design, deploy, and maintain robust formal verification environments for complex Vector Unit sub-blocks (e.G., Vector Execution Pipelines, ...
Ready to Apply?
Submit your application for Senior Formal Verification Engineer at Hireroo
Apply Now