JobsGPU Formal Design Verification Engineer
Apple logo

GPU Formal Design Verification Engineer

Apple

Location

Austin, TX

Type

Full-time

Posted

5/5/2026

Compensation

Not listed

Undergraduate with 2+ Years of Experience
Approval 98.9%·Filings 5,543·New hires 2,691·
👑 Elite Sponsor
·FY 2025

Job description

The Graphics Verification Engineer will be part of the Silicon Technologies group, focusing on pre-silicon RTL verification for high-performance, power-efficient processors and system-on-chip designs. This role involves collaborating with design teams to enhance specifications and develop comprehensive verification plans. The engineer will utilize formal verification methods to ensure the integrity of GPU designs and work closely with multi-functional teams to meet product requirements. The position requires a deep understanding of micro-architectural details and the ability to create automated verification flows.

Requirements

  • BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field.
  • 3 years of relevant experience in CPU or GPU design architectures.
  • Experience with formal verification tools such as JasperGold and IFV.
  • Proficiency in programming or scripting languages.
  • Familiarity with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages like SVA.
  • Experience in formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms.
  • Knowledge of constrained random verification methods.

Responsibilities

  • Work with the design team to review and enhance specifications.
  • Develop verification plans in coordination with design leads, verification leads, and micro-architects.
  • Develop and drive to completion formal verification across multiple design blocks.
  • Conduct formal verification reviews with design and verification teams.
  • Handle deliverables and collaborate with multi-functional teams to support product requirements.
  • Create automated flows and infrastructure for formal verification.
  • Ensure seamless verification flow by working with other block and core level engineers.

Benefits

  • Employees at Apple are often offered comprehensive benefits that support physical and mental well-being—flexible medical plans, confidential counseling, onsite wellness centers at major campuses, and resources for fitness and daily life. Families typically receive fertility support, paid parental leave with gradual return, caregiving leave, and dependent-care guidance, while financial perks commonly include stock grants (with purchase discounts), 401(k) matching, and income-protection coverage. Employees also see robust time off, Apple University learning and tuition reimbursement, donation matching and paid volunteer hours, and deep product and partner discounts.

Is this posting expired or inaccurate?