Formal Verification Intern — Prove, Debug, Innovate

Apple; St Albans; On-site; GBP 18,000 - 24,000; Full time

Job summary

Apple is inviting talented students to join its Graphics design verification internship in the UK. You will work at our London Bishopsgate site on high-impact verification tasks that influence Apple hardware products.

This highly visible role centers on formal verification of graphics systems, collaborating with design teams to deliver bug-free, performant solutions to millions of customers. The internship is 3–6 months, offering real-world experience in a world-class tech environment.

Qualifications

• Strong background in logic reasoning.
• Good knowledge of at least one programming language.
• Excellent problem solving and interpersonal skills.
• Strong written and verbal communication in English.
• Currently enrolled in penultimate year of a Master's or PhD Degree program in Computer Science, Computer Engineering, Mathematics, Electronic Engineering, or a related field.

Responsibilities

• Develop formal verification plans
• Prove properties, find bugs and improve architectures together with design teams
• Design novel and innovative solutions for verifying sophisticated hardware
• Implement re-usable and optimised formal models and verification tools

Skills

Logic reasoning

Programming

Interpersonal skills

English proficiency

Education

Master's or PhD in CS/CE/Math/EE

Tools

Formal verification tools

Job description

Apple is inviting talented students to join its Graphics design verification internship in the UK. You will work at our London Bishopsgate site on high-impact verification tasks that influence Apple hardware products.

This highly visible role centers on formal verification of graphics systems, collaborating with design teams to deliver bug-free, performant solutions to millions of customers. The internship is 3–6 months, offering real-world experience in a world-class tech environment.