Formal Verification Intern (Expression of Interests)

Apple

May 6, 2024

Applications are closed

Internship
Full-time
Off-cycle Internship
Software Engineering
London

Requirements

Knowledge of digital design logic design and/or formal verification techniques (Software or Hardware)
Understanding of CPU and GPU design, pipeline architectures, memory, DMA controllers, out-of-order and speculative instruction execution hardware, bus interconnects, and cache coherence mechanisms a plus
Able to interpret hardware specifications (using temporal logic assertion-based languages such as SVA or PSL) is a plus
Knowledge of EDA formal tools and experiences in CAD tool development is a plus
Proficiency in any scripting language such as: TCL/PERL/etc. with excellent debugging skills
Strong problem solving and interpersonal skills
Strong written and verbal communication in English
Education & Experience:
Currently enrolled in penultimate Master's or PhD Degree program in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics or a related field.
Additional Requirements:
This position is a full-time internship and availability for 6 months as a minimum is preferred.
Apple is an Equal Opportunity Employer that is committed to inclusion and diversity. We also take affirmative action to offer employment and advancement opportunities to all applicants, including minorities, women, protected veterans, and individuals with disabilities. Apple will not discriminate or retaliate against applicants who inquire about, disclose, or discuss their compensation or that of other applicants.

Responsibilities

In this highly visible role, you will be at the centre of a System-on-a-chip (SoC) design verification effort collaborating with design, with a critical impact on getting high quality and bug-free functional products to millions of customers quickly.
While working on complete formal verification for single or multiple design blocks and IPs, you will collaborate with members of the team to:
Create formal micro-architecture specifications
Develop formal verification test plans
Proving properties for the design, finding design bugs, and working closely with design teams to help improve the micro-architecture
Architecting novel and innovative solutions for verifying sophisticated design micro-architectures
Developing and implementing re-usable and optimised formal models and verification code base

FAQs

What is the primary role of a Formal Verification Intern at Apple?

The Formal Verification Intern will engage in challenging tasks that involve crafting innovative products, ensuring they meet the highest quality standards, and contributing to the development of groundbreaking technologies that enhance customer experiences.

What type of projects will the intern work on?

The intern will work on tackling unresolved challenges related to formal verification in product development, allowing them to contribute to upcoming products that will delight millions of Apple customers.

What qualities does Apple look for in a candidate for this internship?

Apple seeks candidates who are passionate, dedicated, and enthusiastic about innovation. Ideal candidates are those who enjoy working on complex challenges and have a drive to leave a positive impact through their work.

What can I expect from the work environment as a Formal Verification Intern at Apple?

The work environment is dynamic and collaborative, featuring amazing people and inspiring technologies. Interns will be part of a team that values innovation and creative problem-solving, working towards reinvention and quality in Apple’s hardware products.

Will the internship provide opportunities for personal and professional growth?

Yes, the internship offers a unique and rewarding opportunity for personal and professional growth by engaging in real projects that challenge the intern and contribute to the development of technologies that are used by millions of people.

How does Apple’s commitment to innovation manifest in this role?

Apple’s commitment to innovation is reflected in the expectation that interns will participate in the creation of extraordinary products and services, focusing on the use of cutting-edge technology and creative solutions to solve complex problems.

How does Apple envision the impact of the products developed by the intern?

Apple envisions that the products developed by the intern will not only meet high standards of quality but also enhance the experiences of millions of customers, reinforcing Apple’s mission to improve the world through innovative technology.

Apple

Technology

Industry

10,001+

Employees

1976

Founded Year

Mission & Purpose

We’re a diverse collective of thinkers and doers, continually reimagining what’s possible to help us all do what we love in new ways. And the same innovation that goes into our products also applies to our practices — strengthening our commitment to leave the world better than we found it. This is where your work can make a difference in people’s lives. Including your own. Apple is an equal opportunity employer that is committed to inclusion and diversity.