Formal Verification Engineer — GPU/SoC IP

Apple Inc.; Austin, Northern (TX, KY); Hybrid; USD 140,000 - 190,000; Full time

Job summary

Apple Inc. in Austin, TX seeks a Formal Verification Engineer to drive complete formal verification for Apple Silicon IPs. You will develop verification plans, prove properties, and collaborate with design teams to improve micro-architecture.

You will craft secure-by-design verification models and create reusable verification code while maintaining high quality standards and efficiency.

Qualifications

• Bachelor's degree and 3+ years in silicon validation or related field.
• Experience with formal verification techniques or security modeling is a plus.
• Interest in SoC/CPU/GPU design and hardware architectures.

Responsibilities

• Perform formal verification for single or multiple design blocks and IPs.
• Develop formal verification test plans and prove properties of the design.
• Identify bugs and collaborate with design teams to improve micro-architecture.
• Model security attacks and craft robust formal verification solutions.

Skills

Scripting languages

Formal verification

Hardware knowledge

Interpersonal skills

Debugging

Education

Bachelor's degree in a relevant field

Job description

Apple Inc. in Austin, TX seeks a Formal Verification Engineer to drive complete formal verification for Apple Silicon IPs. You will develop verification plans, prove properties, and collaborate with design teams to improve micro-architecture.

You will craft secure-by-design verification models and create reusable verification code while maintaining high quality standards and efficiency.