Cpu Formal Verification Intern

Job ID 2025-15786

Date posted Oct. 10, 2025

Location Sophia Antipolis, France

Category Hardware Engineering, Verification

Job Overview:
Arm Sophia Antipolis design centre is located in one of the most appealing parts of France, at the heart of Europe’s largest and most dynamic technology park. Surrounded by mountains and the Mediterranean Sea, this outstanding design centre has delivered leading products from Arm’s Cortex (TM) processor family and now implements C1 CPUs used in Lumex products. These CPUs power some of the world’s best-selling smartphones, tablets and gaming systems, using technology that has taken user experience and performance to another level.

Interns have an opportunity to take part in the development of the next generation of processors that will appear in the most advanced products over the next 3 years. The local CPU verification team is a great combination of technical specialists and enthusiastic graduates from the best engineering schools. Collectively, the team is highly creative, collaborative, delivery-oriented and committed

You will be able to work closely with our hardworking, expert engineers to help develop ground-breaking technology. You will gain knowledge and tackle challenges, whilst being able to encounter opportunities to work on all aspects of product development.

We want to ensure that every intern learns about different aspects of our work and grows their knowledge. Therefore interns work in a team on real projects from day one, with guidance from experienced engineers, and also have dedicated time for personal development.

Whatcould you be doing as a Formal Verification Intern?

As part of the CPU formal verification team, interns will contribute to verifying Arm cortex IPs to the highest quality standards using a wide range of methodologies, tools and programming languages. Innovative formal methods are indeed at the heart of Arm verification strategy.

Interns will develop scripts, tools, models and testbenches using various programming languages, such as tcl, SystemVerilog, Python.

The internship topics are updated regularly. Find below two examples:

- Invariant-Based Approaches for Advancing Formal Verification Beyond Bounded Proofs
- Optimization of formal analysis using bounded proof and ML techniques

We are looking for individuals who:
Are students their last year of Masters (BAC+5 or equivalent) in Electronics Engineering, Computer Engineering, or Computer Science (other degrees may also be considered based on experience), who are available for a 5 or 6-month internship, with the following skills:

- An engineering approach with strong problem-solving skills
- Curiosity for CPUs and digital systems
- Some experience, knowledge or interest in Formal Verification techniques.
- Experience with at least one programming language such as: C, C++, Python, tcl
- An understanding of computer architecture fundamentals
- Excellent attention to detail
- Creativity and ability to communicate ideas effectively
- Good interpersonal and teamwork skills
- Knowledge of one of the main CPU architectures
- Familiarity with basic digital design concepts
- Familiarity with a hardware description language, such as VHDL or Verilog/SystemVerilog
- Use of a Linux environment and shell programming/scripting: bash, git, make, ssh
- Exposure to low-level programming or driver development

Additional Information:
Arm Internships require you to be enrolled in a higher education degree.

French Law requires students to complete an internship agreement (Convention de Stage). This is a tripartite agreement signed by the student, their home university and host organization, that facilitates an internship in France. It is the contract defining all the essential points of the internship: duration, missions, remuneration and benefits, insurance in the event of an accident, etc.

It is preferable that Arm's own template of the agreement is used. Successful applicants will be required to provide contact details of the appropriate university representatives in order to have the agreement signed.

In Return:
In addition to a competitive salary and

rewards

package, our on-the-job learning and mentoring/buddy schemes provide unparalleled learning and networking opportunities from the best in the industry.

LI-NB1

Accommodations at Arm

Hybrid Working at Arm

Equal Opportunities at Arm

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.