Staff Verification Engineer

Job Title

Staff Verification Engineer

Role Summary

This position is for an experienced verification engineer to join the GPU Hardware Team in Cambridge. The engineer will be responsible for verifying the GPU's datapath module using formal verification methods and collaborating with other verification specialists.

Experience Level

Mid-level; specific years of experience not specified.

Responsibilities

The verification engineer will be tasked with the following:

• Ownership of the GPU's arithmetic unit verification using formal techniques (Logical Equivalence Check).
• Producing test plans and coordinating verification tasks for GPU projects.
• Providing support for Formal Property-based verification as needed.
• Contributing to continuous verification improvement strategies across the GPU group.

Requirements

Must-have skills include:

• Experience in crafting verification environments for complex RTL designs.
• Proficiency in formal verification tools (property-based verification).
• Ability to understand and apply complex specifications.
• Knowledge of overflow, underflow, and IEEE754 floating-point format.
• Proficiency in reading and writing C/C++ models.

Nice-to-have skills include:

• Familiarity with continuous integration platforms like Jenkins and version control tools like Git.
• Experience in RTL design and verification (simulation).

Education Requirements

Information not specified.

About the Company

Company: Arm

Headquarters: Cambridge, United Kingdom

ARM is a global leader in semiconductor and software design, driving innovation in computing technology. The company specializes in designing processors and systems that provide the essential building blocks for electronic devices. ARM's architecture is widely used in smartphones, servers, and IoT devices, and its collaborative culture fosters bold thinking, diversity, and high-impact benefits for its talented workforce.