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.

‍

‍

‍

‍

What could 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

‍

‍

Qualities that will help your application stand out:

‍

• 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:

‍

We encourage early applications as we review them on a first come/first served basis.

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

‍