Formal Verification Intern: Build Bug-Free Hardware

Apple Inc.; St Albans; On-site; GBP 20,000 - 27,000; Full time

Job summary

Apple Inc. in the UK is offering a 3–6 month internship at our London Bishopsgate site. You will join the graphics design verification effort, collaborating with design teams to deliver high-quality hardware to millions of customers.

We seek penultimate-year Masters or PhD students in CS, CE, Math or Electronic Engineering with strong logic and programming skills and fluent English. You will develop verification plans, prove properties, and create reusable verification models and tools.

Qualifications

• Currently enrolled in a Master’s or PhD program in Computer Science, Computer Engineering, Mathematics or Electronic Engineering or related field.
• 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.

Responsibilities

• Develop formal verification plans.
• Prove properties, find bugs and improve architectures with design teams.
• Design novel and innovative solutions for verifying hardware.
• Implement reusable and optimised formal models and verification tools.

Skills

Logic reasoning

Programming language

Interpersonal skills

English communication

Education

Masters/PhD candidate

Job description

Apple Inc. in the UK is offering a 3–6 month internship at our London Bishopsgate site. You will join the graphics design verification effort, collaborating with design teams to deliver high-quality hardware to millions of customers.

We seek penultimate-year Masters or PhD students in CS, CE, Math or Electronic Engineering with strong logic and programming skills and fluent English. You will develop verification plans, prove properties, and create reusable verification models and tools.