×
Register Here to Apply for Jobs or Post Jobs. X

GPU Formal Design Verification Engineer

Job in Austin, Travis County, Texas, 78716, USA
Listing for: Apple Inc.
Full Time position
Listed on 2026-02-23
Job specializations:
  • Engineering
    Systems Engineer, Software Engineer, Electronics Engineer, Hardware Engineer
Salary/Wage Range or Industry Benchmark: 90000 - 120000 USD Yearly USD 90000.00 120000.00 YEAR
Job Description & How to Apply Below

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
  • 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.
Minimum Qualifications
  • BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field.
  • Experience in programming/scripting languages.
Preferred Qualifications
  • 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 Jasper Gold, 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.

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 .

Apple accepts applications to this posting on an ongoing basis.

#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary