Job Details

GPU Formal Design Verification Engineer

Austin, Texas, United States

Hardware

Summary

Posted: May 19, 2025

Role Number: 200605440

Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you’ll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You’ll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you’ll be responsible for crafting and building the technology that fuels Apple’s devices. Together, you and your team will enable our customers to do all the things they love with their devices!

The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader GPU design.

Description

In this role you will:

• 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 work with multi-functional teams to support product requirements.

• Create automated flows and infrastructure for formal verification.

• Work with other block and core level engineers to ensure seamless verification flow.

Minimum Qualifications

• BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience.

• Experience with CPU or GPU design architectures, VLSI circuits, and digital logic design.

• Experience with formal verification tools, such as JasperGold, IFV, etc.

• Experience in programming/scripting languages.

Preferred Qualifications

• Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA.

• Experience in formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms.

• Experience with abstraction techniques and formal verification technologies.

• Experience in reviewing and interpreting design specifications.

• Experience using academic formal verification tools.

• Knowledge of constrained random verification methods.

• Ability to collaborate across multiple teams.

Apple is an equal opportunity employer that is committed to inclusion and diversity. We seek to promote equal opportunity for all applicants without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or other legally protected characteristics.Learn more about your EEO rights as an applicant (https://www.eeoc.gov/sites/default/files/2023-06/22-088_EEOC_KnowYourRights6.12ScreenRdr.pdf) .

Apple is an equal opportunity employer that is committed to inclusion and diversity. We seek to promote equal opportunity for all applicants without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or other legally protected characteristics.Learn more about your EEO rights as an applicant (https://www.eeoc.gov/sites/default/files/2023-06/22-088_EEOC_KnowYourRights6.12ScreenRdr.pdf) .

Apple will not discriminate or retaliate against applicants who inquire about, disclose, or discuss their compensation.

Apple participates in the E-Verify program in certain locations as required by law.Learn more about the E-Verify program (https://www.apple.com/jobs/pdf/EverifyPosterEnglish.pdf) .

Apple is committed to working with and providing reasonable accommodation to applicants with physical and mental disabilities. Reasonable Accommodation and Drug Free Workplace policy Learn more .

Apple is a drug-free workplace. Reasonable Accommodation and Drug Free Workplace policy Learn more .

Apple will consider for employment all qualified applicants with criminal histories in a manner consistent with applicable law. If you’re applying for a position in San Francisco, review the San Francisco Fair Chance Ordinance guidelines applicable in your area.

It is unlawful in Massachusetts to require or administer a lie detector test as a condition of employment or continued employment. An employer who violates this law shall be subject to criminal penalties and civil liability.