Formal Verification Engineer

il y a 11 heures

Sophia Antipolis, France Arm Temps plein

Read More

Arm’s Sophia Antipolis design centre is located in one of the most beautiful parts of France, at the heart of Europe’s largest and most dynamic technology park. Surrounded by mountains and the Mediterranean Sea, this exceptional design centre has delivered leading products from Arm’s 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 advantage

***Why 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

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 any characteristic.

  • Cpu Formal Verification Intern

    il y a 1 semaine

    Sophia Antipolis, France Arm Temps plein

    Job ID 2025-13557 Date posted Feb. 13, 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...

  • Senior Verification Engineer

    il y a 1 semaine

    Sophia Antipolis, France Arm Temps plein

    Read More **Job Overview**: Are you enthusiastic about new technologies? This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking Advanced Product team and shape the future. This diverse, engineering-centric group invents, defines, and develop innovative physical implementation methods...

  • Graduate Cpu Verification Engineer

    il y a 2 semaines

    Sophia Antipolis, France Arm Temps plein

    Arm’s Sophia Antipolis design centre is located in one of the most alluring 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. As Graduate Verification Engineer, you...

  • Senior Verification Engineer

    il y a 2 semaines

    Sophia Antipolis, France ic resources Temps plein

    Senior Verification Engineer - Join a fast growing company in the South of France This is a great opportunity for an experienced Verification Engineer to join a growing team who are developing state-of-the-art semiconductor solutions for the automotive industry. Key skills for this role: Experience with UVM-based verification Knowledge of hardware...

  • Graduate Cpu Verification Engineer

    il y a 2 semaines

    Sophia Antipolis, France Arm Temps plein

    Read More **Are you creative, innovative and passionate about new technologies? Would you like to work in a multi-site and multi-cultural environment? Our team is based in Sophia Antipolis, one of the most alluring parts of France, at the heart of Europe’s largest and most dynamic technology park. Surrounded by mountains and the Mediterranean Sea, this...

  • Graduate Verification Engineer

    il y a 1 semaine

    Sophia Antipolis, France Arm Temps plein

    Job ID 2025-13822 Date posted Jun. 06, 2025 Location Sophia Antipolis, France Category Hardware Engineering, Verification Job Overview: We are developing the next wave of compute technologies for future processors. The product we are recruiting for will introduce major breakthroughs in Digital Security, Machine Learning, as well as Computer Vision, and will...

  • Senior Staff Software Verification Engineer

    il y a 6 jours

    Sophia Antipolis, France Arteris IP Temps plein

    **Do you want to contribute to the backbone of some of the world’s most popular S**ystem **o**n **C**hip**s?** As a **Senior** **Staff **Software **Verification** **Engineer** at Arteris, you will have a leading role in the development of next generation of Arteris IP solutions, enabling the design of extremely configurable digital logic blocks. We...

  • Systems Verification Engineer

    il y a 3 jours

    Sophia Antipolis, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: Qualcomm Interconnect Technology (QITC) has been breaking ground in interconnect design for 15 years and continues to innovate and deliver technology in line with the latest evolutions in SoC design. As part of Qualcomm...

  • Staff Verification Engineer

    il y a 3 jours

    Sophia Antipolis, France Arteris IP Temps plein

    **Do you want to contribute to the backbone of some of the world’s most popular S**ystem **o**n **C**hip**s?** As a **Staff Verification Engineer** at Arteris, you will have a leading role in the development of next generation of Arteris IP solutions, enabling the design of extremely configurable digital logic blocks. We intend to revolutionize the way...

  • CPU Verification Intern

    il y a 1 semaine

    Sophia Antipolis, Provence-Alpes-Côte d'Azur, France Arm Temps plein

    Job OverviewArm 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...