Formal Verification Engineer

Formal Verification Engineer Overview

This opportunity is with a fast-expanding GPU hardware group that is building leading-edge GPU intellectual property through ongoing innovation. The team’s technology is used across a variety of market areas, and the work in this position focuses on applying rigorous formal verification methods to advanced GPU designs so that complex hardware is proven correct and robust before release.

What you will be doing

• Taking responsibility for formal verification across GPU components and larger subsystems, from the earliest planning stages through to final sign-off.
• Designing and putting in place formal verification approaches that help the engineering team achieve its quality and correctness objectives.
• Using sophisticated formal methods to prove behavior exhaustively and to uncover subtle defects that may not be found through other verification approaches.
• Working side by side with design and verification colleagues to investigate failures, identify the underlying cause, and help resolve issues efficiently.
• Creating, improving, and maintaining verification plans, formal methodologies, and the formal environments needed to support the work.
• Tracking verification status, reporting progress through metrics, and ensuring open items are driven to closure.
• Providing verification input during architecture and specification reviews so that potential issues are identified and addressed early in the development cycle.
• Contributing directly to the development of market-leading silicon products by helping ensure the correctness and quality of complex GPU hardware.

What the employer is looking for

• Strong working knowledge of formal verification methods, underlying concepts, and the tools used to implement them.
• Proven experience applying formal verification to complex micro-architectures or subsystem-level hardware designs.
• The ability to develop inventive verification approaches for technically challenging design problems.
• Practical familiarity with techniques including abstraction, invariants, property checking, and sequential equivalence checking.
• A solid understanding of ASIC design flows and the methodologies commonly used in ASIC development.
• The capability to lead formal verification activity rather than simply support it.
• Comfort working with a specialist recruitment contact and using the advertised application route on the job page.

Package and team context

• The role offers a base salary together with a bonus.
• You will be joining an innovative GPU team that is growing quickly and focused on continuous technical improvement.
• The position gives you the chance to work on advanced GPU IP and contribute to products with broad commercial application.
• Recruitment for this vacancy is handled by IC Resources, with a named ASIC and verification specialist contact provided on the page.

How to apply

Applicants are directed to use the apply-now option on the job page. The posting also provides direct contact details for the recruiter, Steph Hutchinson, including phone number and email address, and notes that Rachel Mason at IC Resources can also be contacted for more information.

Degree Requirement: Not Specified

Visa Sponsorship May be