GPU Formal Verification Engineer (Pre-Silicon)

Apple Inc.; Austin (TX); On-site; USD 120,000 - 150,000; Full time

Job summary

Apple Inc. in Austin, Texas, is seeking a Graphics Verification Engineer to join the Silicon Technologies group. You will contribute to pre-silicon RTL verification for high-performance GPUs/SoCs using formal methods to ensure robust design.

You will collaborate with design, verification, and micro-architects to develop verification plans, drive formal verification across blocks, and create automated flows to support scalable GPU verification across the stack.

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.

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.

Skills

CPU/GPU architecture

VLSI circuits

Digital logic design

Formal verification concepts

SystemVerilog

SVA

Education

BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent

Tools

JasperGold

IFV

Job description

Apple Inc. in Austin, Texas, is seeking a Graphics Verification Engineer to join the Silicon Technologies group. You will contribute to pre-silicon RTL verification for high-performance GPUs/SoCs using formal methods to ensure robust design.

You will collaborate with design, verification, and micro-architects to develop verification plans, drive formal verification across blocks, and create automated flows to support scalable GPU verification across the stack.