ARM CPU Formal Verification Intern 

France, Provence-Alpes-Côte d'Azur, Valbonne 

259435406

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

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

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 Python
• 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
• Exposure to verification techniques and testbenches (such as Formal)
• Use of a Linux environment and shell programming/scripting: bash, git, make, ssh
• Exposure to low-level programming or driver development

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.

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.

Working on interesting new projects with leaders in the field is exciting, but we also know how important it is to receive support. That's why throughout your internship, you can expect regular feedback and development opportunities, social activities to connect with your peers, an end of internship celebration, plus the opportunity to be *considered for future Graduate positions (*subject to performance). #getreadytogrow

In addition to a competitive salary and rds package, our on-the-job learning and mentoring/buddy schemes provide unparalleled learning and networking opportunities from the best in the industry.