GPU Formal Verification Engineer — SoC Security & Robustness

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

Benefits offered by this job

Comprehensive medical and dental cover

Discretionary employee stock programs

Relocation assistance

Bonuses or commissions possible

Job summary

Apple Inc. in Santa Clara, CA is seeking a qualified Formal Verification Engineer to join the Silicon Technologies group.

You will design and verify next-generation high-performance SoCs, crafting verification plans and building robust models to validate complex micro-architectures across CPU, GPU, and related components. You will collaborate with world-class engineers to ensure security properties are verified, and you will contribute to reusable verification frameworks while maintaining a

Qualifications

• A bachelor's degree and at least 3 years of relevant industry experience in silicon validation software engineering or a related field.

Responsibilities

• Work with Apple Silicon design engineers to develop a formal micro-architecture specification.
• Develop a comprehensive formal verification test plan including security requirement verification.
• Prove properties of the design, identify design bugs, and collaborate with design teams to improve the micro-architecture.
• Model security attacks and verify robustness of complex design micro-architectures with reusable verification code.
• Architect correct-by-construction design methodologies to improve verification efficiency and productivity.

Skills

Formal verification

Scripting languages

Debugging

Interpersonal skills

Education

Bachelor's degree

Job description

Apple Inc. in Santa Clara, CA is seeking a qualified Formal Verification Engineer to join the Silicon Technologies group.

You will design and verify next-generation high-performance SoCs, crafting verification plans and building robust models to validate complex micro-architectures across CPU, GPU, and related components. You will collaborate with world-class engineers to ensure security properties are verified, and you will contribute to reusable verification frameworks while maintaining a