Formal Verification Engineer

il y a 3 semaines


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-DDG1

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

**Hybrid Working at Arm**:
Arm’s hybrid approach to working is centred around flexibility, where we split our time between the office and other locations to get our work done. We empower groups/teams to determine their hybrid working pattern, with an expected minimum attendance in the office of 20% per month, depending on the work, level of experience and team’s needs. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution.



  • Sophia Antipolis, France Arm Temps plein

    Read More 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...

  • Senior Verification Engineer

    il y a 3 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 verificationKnowledge of hardware description...

  • Digital Verification Manager

    il y a 4 semaines


    Sophia Antipolis, France NXP Semiconductors Temps plein

    The R&D organization's Digital Verification team, based in Mougins, supports products, as Multimedia processors, from the prototyping phase to production with a particular focus on digital functionality. In this context, we are looking for a Digital Verification Manager n engineer with 10 years of experience in the field. **Responsibilities** - Manager of...

  • CPU Verification Intern

    il y a 1 mois


    Sophia Antipolis, France arm limited Temps plein

    The Role 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. These...

  • Systems Verification Engineer

    il y a 4 semaines


    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 4 semaines


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


  • Sophia Antipolis, France arm limited Temps plein

    The Role Job Description: 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...

  • DFT Applications Engineer

    il y a 4 semaines


    Sophia Antipolis, France IC Resources Temps plein

    DFT Applications Engineer - World-Leading EDA Company - South of France A leading EDA provider is searching for a DFT Applications Engineer to join their team. With great benefits and challenging work, this is a fantastic opportunity for an experienced DFT Engineer who would like to work in a customer-facing role.  In this role, you will utilise your...


  • Sophia Antipolis, France IC Resources Temps plein

    DFT Applications Engineer - World-Leading EDA Company - South of France A leading EDA provider is searching for a DFT Applications Engineer to join their team. With great benefits and challenging work, this is a fantastic opportunity for an experienced DFT Engineer who would like to work in a customer-facing role.  In this role, you will utilise your...

  • Graduate CPU Micro-architect

    il y a 4 semaines


    Sophia Antipolis, France arm limited Temps plein

    The Role Are you creative, innovative, and enthusiastic about new technologies with a keen interest in CPU micro-architecture and RTL Design? You are in the right place! As we are shifting into a new era of AI, integrating into our CPU Team in Sophia Antipolis will offer you the excitement of shaping the Future Wave of Computing that will be...

  • Senior DFT Engineer

    il y a 3 semaines


    Sophia Antipolis, France IC Resources Temps plein

    DFT Engineer - Join a fast growing company in the South of France This is a great opportunity for an experienced DFT Engineer to join a growing team who are developing state-of-the-art semiconductor solutions for the automotive industry. In this role you will play a crucial role in the development of DFT methodology and architecture.  Key skills for this...

  • Systems Design Engineer

    il y a 4 semaines


    Sophia Antipolis, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: **Business Description and Job Function**: Qualcomm France-QITC develop interconnect for complex SoCs providing low power, higher system bandwidth, greater IP flexibility, fewer global wires and easier timing convergence as well...


  • Sophia Antipolis, France Menta Temps plein

    Full time, based in Sophia Antipolis, France._ **Job description** Within the Hardware Physical Implementation team, you will be in charge of doing the ASIC physical implementation of eFPGA IP architectures (from RTL to GDSII) to bring them into production. This is a challenging position and an opportunity to work within a small but highly qualified team....


  • Sophia Antipolis, France Arm France Temps plein

    **Job Overview**: Are you creative, innovative, and enthusiastic about new technologies with a keen interest in CPU micro-architecture and RTL Design? You are at the right place! As we are shifting into a new era of AI, integrating our CPU Team in Sophia Antipolis will offer you the excitements of shaping the Future Wave of Computing that will be...


  • Sophia Antipolis, France Menta Temps plein

    Full time, based in Sophia Antipolis, France._ **J**ob description** Within the Physical Implementation team, you will be in charge of doing the ASIC physical implementation of eFPGA IP architectures to bring them into production. You will also contribute to the development, improvement and maintenance of our internal design flow. You will participate in...

  • Application Engineer

    il y a 4 semaines


    Sophia Antipolis, France CEVA Temps plein

    Description You love technology and you are probably a user of connected object? You are interested to work on wireless communication? Don't wait and join us to be part of the future of the Internet of Things. If you feel connected, come on board! CEVA RivieraWaves is a worldwide leader in wireless communication IP, providing our customers cutting edge...

  • QA Engineer à Nice

    il y a 1 mois


    Sophia Antipolis, France Capgemini Engineering Temps plein

    **Description de l'entreprise**: - Leader mondial des services d’ingénierie et de R&D, Capgemini Engineering met en œuvre une connaissance sectorielle approfondie et la maîtrise des dernières technologies digitales et logicielles pour accompagner la convergence des mondes physique et numérique. Conjuguée à l’ensemble des capacités du Groupe,...

  • Video Analytics

    il y a 7 jours


    Sophia Antipolis, France Axis Communications Temps plein

    Job Title Video Analytics & AI Software Engineer **Job Description**: - Did you know that there is a new Axis Engineering Office on the French Riviera - where the alps meet the sea - which is working on cutting-edge technologies? Did you know that this office is looking for a new video analytics software engineer to complete its A-team? If not and you...


  • Sophia Antipolis, France CEVA, Inc. Temps plein

    Description  Within the Wireless Internet of Things group, Ceva is offering you to be a member of our Communication Signal Processing Team. In this role you will take part in research and development of the cutting edge future communication technologies including: WiFi 7 with MIMO OFDMA, MU-MIMO and Bluetooth PHY with High Accuracy Distance Measurement...

  • QA Engineer à Nice

    il y a 4 semaines


    Sophia Antipolis, France CAPGEMINI ENGINEERING Temps plein

    Code de référence - 1727004 - Posté le - 27 oct. 2023 - Niveau d'expérience - 3 à 6 ans - Type de contrat - CDI - Lieu - Sophia Antipolis - Business unit - Engineering And R And D Services - Département - Développement Logiciels Postuler maintenant - Description de l'entreprise - Leader mondial des services d’ingénierie et de R&D, Capgemini...