GPU Formal Design Verification Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

Apple · 20 hours ago

GPU Formal Design Verification Engineer

positionAustin, TX
timeFull-time
remoteOnsite
seniorityMid Level
date3+ years exp

Apple is a leading technology company that designs and manufactures high-performance processors and system-on-chips. The Graphics Verification Engineer will be responsible for pre-silicon RTL verification, applying formal and property checking methods while collaborating with design and verification teams to enhance specifications and develop verification plans.

AppsArtificial Intelligence (AI)BroadcastingDigital EntertainmentFoundational AIMedia and EntertainmentMobile DevicesOperating SystemsTVWearables
check
Comp. & Benefits
check
H1B Sponsor Likelynote

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 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

Qualification

Formal verification toolsGPU design architecturesDigital logic designHDLs (Verilog/System Verilog)Programming/scripting languagesCollaboration skills

Required

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

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

Company

Apple

twittertwittertwitter
Glassdoor4.2
company-logo
Apple is a technology company that designs, manufactures, and markets consumer electronics, personal computers, and software.
dateFounded in 1976
location
Cupertino, California, USA
people-size10001+ employees
web-link
https://www.apple.com

H1B Sponsorship

Apple has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (6998)
2024 (3766)
2023 (3939)
2022 (4822)
2021 (4060)
2020 (3656)

Funding

Current Stage
Public Company
Total Funding
$5.67B
Key Investors
Berkshire HathawayMicrosoftSequoia Capital
2025-05-05Post Ipo Debt· $4.5B
2025-01-16Post Ipo Debt· $0.31M
2021-04-30Post Ipo Equity

Leadership Team

leader-logo
Tim Cook
CEO
leader-logo
Craig Federighi
SVP, Software Engineering

Recent News

Venrock
Venrock Portfolio
2025-12-01
IndiaTimes
Apple TV+ pulls Jessica Chastain’s "The Savant" just days before premiere
2025-09-25
Mac Daily News
Jessica Chastain: I respect Apple’s decision to pause the release of ‘The Savant’ or something
2025-09-25
Company data provided by crunchbase