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

Apple · 1 week ago

GPU Formal Design Verification Engineer

positionAustin, TX
timeFull-time
remoteOnsite
seniorityMid Level

Apple is a leading technology company known for its innovative products and services. They are seeking a GPU Formal Design Verification Engineer to be a part of their Silicon Technologies group, responsible for ensuring the verification of high-performance GPU designs through formal methods and collaboration with design teams.

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
Implement verification plans in coordination with design leads, verification leads and micro-architects
Complete formal verification across multiple design blocks
Conduct formal verification reviews with design and verification teams

Qualification

Formal verificationHDLs (Verilog/System Verilog)GPU design architectureProgramming/scripting languagesFormal tools JasperGoldFormal tools IFVReviewing specificationsUnderstanding abstraction techniquesConstrained random verification methodsCollaboration

Required

BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field
Experience in programming/scripting languages

Preferred

Knowledge of CPU or GPU design architectures, VLSI circuits, and digital logic design
Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA
Exposure to formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms
Experience with formal tools, such as JasperGold, IFV, etc
Experience using academic formal verification tools
Understanding of abstraction techniques and formal verification technologies
Experience in reviewing and interpreting design specifications
Knowledge of constrained random verification methods
Ability to collaborate across 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