GPU Formal Verification Engineer — SoC/IP Focus

Apple, Inc.; Santa Clara (CA); On-site; USD 150,000 - 278,000; Full time

Benefits offered by this job

Comprehensive medical and dental

Employee stock purchase plan

Relocation assistance

Educational reimbursement

Job summary

Apple Inc. is seeking a Formal Verification Engineer in Santa Clara, CA to verify multiple IP blocks and CPUs/GPUs within Apple Silicon. You will develop verification plans, prove design properties, and model security attacks while collaborating with world-class design engineers.

The role emphasizes building robust formal verification methods, reusable models, and efficient verification workflows to ensure high-quality, secure SoCs for Apple devices.

Qualifications

• Bachelor's degree in a related field and at least 3 years of industry experience in silicon validation or software engineering.
• Strong understanding of formal verification concepts and methodologies.
• Experience with scripting and debugging across hardware verification environments.

Responsibilities

• Collaborate with Apple Silicon design engineers to develop formal micro-architecture specifications.
• Create comprehensive formal verification test plans including security verification requirements.
• Prove properties of designs, identify bugs, and work with design teams to improve micro-architecture.
• Develop and implement reusable formal models and verification codebases.
• Architect correct-by-construction verification methodologies to improve efficiency.

Skills

Formal verification knowledge

Scripting languages

Debugging skills

Education

Bachelor's degree in a related field

Tools

Verification tools

Job description

Apple Inc. is seeking a Formal Verification Engineer in Santa Clara, CA to verify multiple IP blocks and CPUs/GPUs within Apple Silicon. You will develop verification plans, prove design properties, and model security attacks while collaborating with world-class design engineers.

The role emphasizes building robust formal verification methods, reusable models, and efficient verification workflows to ensure high-quality, secure SoCs for Apple devices.