Formal Verification Engineer

We are developing the next wave of compute technologies for future processors. The product we are recruiting for right now will introduce major breakthroughs in Digital Security, Machine Learning and as well as in Computer Vision, and will lead to the most innovative processor ever released. Interested in building the IP that will radically change the way mobile phones handle digital photography, enabling Neural Networks in any type of application, making the world more secure? Stop thinking and apply now!
Arms Sophia Antipolis design centre is located in one of the most beautiful parts of France, at the heart of Europes largest and most dynamic technology park. Surrounded by mountains and the Mediterranean Sea, this exceptional design centre has delivered leading products from Arms Cortex (TM) processor family.
As a Formal Verification Engineer, you will integrate a team the role of which is to guarantee the correct functioning of the IP, focusing on its correct functional behaviour in all possible conditions.Would you like to work in a multi-site and multi-cultural environment? Are you creative, innovative and passionate about new technologies? If so, we would love to hear from you, this is the right time and the best place to join.


You will be accountable for:
Understanding the specification of the IP you will target;
Defining and documenting the verification environment you will use to find bugs in the design; plus specifying the verification sign-off criteria;
Building and maintaining the testbench by using an appropriate methodology and programming language(s);
Running tests to stress the design in its last corner cases and find all possible bugs.
Job requirements:
Education & Qualifications
You will have a good university degree, ideally in electronic engineering or computer science, although other graduates would be considered if they have relevant experience.
Experience
You should have at least 2 years in functional verification or digital hardware design, and, preferably but not mandatory, previous experience with formal methods (e.g. SVA, PSL, model checking, theorem proving)
Essential Skills & Experience
Understanding of the fundamentals of hardware design and verification
Knowledge of hardware description and verification languages e.g. Verilog, VHDL, SystemVerilog, PSL
Proficiency in algorithms and software programming
Proficiency in scripting languages, e.g. Python/Perl/TCL
Communicating fluent English
Desirable Skills & Experience

Formal verification tools and methods
Understanding of the end to end verification processes, from test plan creation through to verification closure
Experience with RTL and simulators
Familiarity with ARM architectures and instruction sets
Experience of Unix development environment
Good level of French can be a good advantageWhy you will love this job?
You will work directly with engineers across the company to build next-generation IPs and CPUs. You will have a direct impact on our bottom line and the ability to deliver improvements for our customers. You will be part of a growing, fast-paced, and fun team. You will have ownership for the implementation of your work.
We have a friendly and high-performance working environment, where Arm offers a competitive benefits package in France including: private medical insurance (employee and family), 25 days annual leave, 20-day sabbatical every four years, supplementary pension and reduction in working hours (11 days).

#LI-MF1