GPU & SoC Formal Verification Engineer

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

Job summary

Apple Inc. in Austin, TX is seeking a formal verification engineer dedicated to verifying complex SoC blocks and IPs. You will craft verification plans, prove properties, and collaborate with design teams to improve micro-architecture robustness.

The role emphasizes security modeling, reusable verification models, and correct-by-construction methodologies to accelerate high-quality silicon delivery for next‑generation devices.

Qualifications

• Bachelor's degree and 3+ years of experience in silicon validation software engineering or related field.
• Experience with formal verification is a plus.
• Strong debugging and scripting skills.
• Ability to interpret hardware specifications.

Responsibilities

• Verify formal verification for single or multiple design blocks and IPs.
• Prove properties and identify design bugs with design teams.
• Model security attacks and robustness of micro-architectures.
• Develop reusable formal models and verification code base.

Skills

Scripting languages

Debugging skills

Interpersonal skills

Hardware knowledge

Education

Bachelor's degree

Job description

Apple Inc. in Austin, TX is seeking a formal verification engineer dedicated to verifying complex SoC blocks and IPs. You will craft verification plans, prove properties, and collaborate with design teams to improve micro-architecture robustness.

The role emphasizes security modeling, reusable verification models, and correct-by-construction methodologies to accelerate high-quality silicon delivery for next‑generation devices.