Lead Formal Verification Architect

Apple Inc.; St Albans; On-site; GBP 70,000 - 90,000; Full time

Job summary

A leading technology company in St Albans is looking for a Formal Verification Architect to lead formal verification for design blocks. The role requires advanced knowledge of SoC/CPU/GPU designs and VLSI techniques. Successful candidates will develop specifications, create verification solutions, and collaborate closely with design engineers. A BS/MS/Ph.D. in EE or CS is essential. Join us to innovate and shape the future of technology.

Qualifications

• Advanced knowledge of SoC/CPU/GPU designs.
• Experience developing formal property proofs.
• Deep understanding of pipeline architectures and memory controllers.

Responsibilities

• Develop a formal micro-architecture specification.
• Craft solutions for verifying complex design micro-architectures.
• Work closely with design teams to improve micro-architecture.

Skills

SoC/CPU/GPU designs

VLSI design and verification techniques

Scripting language proficiency

Interpersonal skills

Debugging skills

Education

BS / MS / Ph.D in EE or CS

Tools

EDA formal tools

Job description

A leading technology company in St Albans is looking for a Formal Verification Architect to lead formal verification for design blocks. The role requires advanced knowledge of SoC/CPU/GPU designs and VLSI techniques. Successful candidates will develop specifications, create verification solutions, and collaborate closely with design engineers. A BS/MS/Ph.D. in EE or CS is essential. Join us to innovate and shape the future of technology.