Senior Formal Verification Engineer

Il y a 2 mois

Guyancourt, France Qualcomm Temps plein

**Company**: Qualcomm France S.A.R.L.

**Job Area**: Engineering Group, Engineering Group > ASICS Engineering

**General Summary**:
QUALCOMM is a global leader in smart mobile technologies, providing comprehensive solutions that drive continuous innovation for today's connected devices. By pushing the boundaries of what is possible, Qualcomm delivers next-generation experiences and spearheads digital transformation to create a smarter, more connected future for all.

Our extensive portfolio of wired and wireless technologies spans the mobile, networking, computing, and consumer electronics sectors. Each of our solutions and products is meticulously engineered for optimal performance and energy efficiency. Our system-on-chip solutions, such as Snapdragon, seamlessly integrate CPU, GPU, connectivity, security, multimedia, and GPS technologies, redefining mobile possibilities for users worldwide.

The Qualcomm Interconnect Technology Center (QITC) is at the forefront of developing cutting-edge interconnect solutions for complex Qualcomm System-On-Chips (SoCs) such as Snapdragon. Our solutions offer low power consumption, higher system bandwidth, greater IP flexibility, fewer global wires, easier timing convergence, and faster time to market compared to existing bus interconnects. QITC's Network-On-Chip (NoC) solutions include a comprehensive suite of automated NoC Design Tools that enhance NoC designer productivity.

If you are passionate about hardware engineering and eager to contribute to groundbreaking innovations, join us at QITC and be part of a team that is at the forefront of technological advancements, shaping the future of smart connectivity.

**Position: Senior Formal Verification Engineer**

As a Senior Formal Verification Engineer at Qualcomm, you will be responsible for overseeing the verification of innovative hardware in NoC infrastructure technologies for next-generation chipsets. Your key responsibilities will include:

- Assessing new technical specifications and building the verification plan for the corresponding IPs or subsystems.
- Implementing System Verilog Assertions & Coverages and running formal non-regressions.
- Developing formal VIPs (Verification IPs).
- Participating in verification methodology and flow enhancements.
- Harmonizing verification flows with other Qualcomm teams.

This is a high-profile position that requires experience with complex SoC/IP verification, interaction with NoC architecture and design, as well as NoC solutions deployment and support across global Qualcomm locations.

**Key Requirements**:

- 5 to 10 years of experience in SoC/IP hardware verification with a strong focus on formal verification.
- Extensive expertise in formal verification methodologies and techniques.
- Strong understanding of hardware communication protocols (AXI, AHB, etc.) and Network-On-Chip basics.
- Strong knowledge of hardware languages: Verilog, SystemVerilog, SVA.
- Experience with Python automation and scripting languages to improve workflows.
- Excellent problem-solving, communication, and teamwork skills.
- Ability to mentor and guide junior engineers in verification practices
- Self-driven and autonomous

**Other Preferred Requirements**:

- Experience with formal verification tools and methodologies.
- Experience in writing VIPs for Formal proof
- Familiarity with industry-standard verification frameworks and environments such as UVM is a plus
- Experience in developing and maintaining verification infrastructure.

**Preferred Education**
- PhD or Master's degree in Electronics or Computer Science Engineering

**Skills**

System Verilog Assertions, Verilog/SystemVerilog, Python

Cadence Jasper Gold, Xcellium, Synopsys VF Formal, VCS / Verdi,

Git, Svn database management tools

Working environment: Linux, MS Office suite (Visio, Excel)

**What's On Offer**

Apart from working in an open, relaxed and collaborative space, you will enjoy:

- Salary, stock and performance related bonus,
- Employee stock purchase scheme,
- Relocation and immigration support,
- Life, Medical, Income and Travel Insurance,
- Employee-managed clubs, including, running, music, biking, badminton and many more.

**Education**

**Minimum Qualifications**

Post-graduate - Engineering - Science

**Minimum Qualifications**:

- Bachelor's degree in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.

OR
Master's degree in Science, Engineering, or related field and 1+ year of ASIC design, verification, validation, integration, or related work experience.
OR
PhD in Science, Engineering, or related field.

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.

  • Senior Hardware Verification Engineer

    il y a 1 mois

    Guyancourt, Île-de-France Qualcomm Temps plein

    Job Title: Senior Hardware Verification EngineerQualcomm is seeking a highly skilled Senior Hardware Verification Engineer to join our team. As a key member of our engineering group, you will be responsible for verifying innovative hardware in NoC infrastructure technologies for next-generation chipsets.Key Responsibilities:Develop verification plans for new...

  • Senior Hardware Verification Engineer

    il y a 4 semaines

    Guyancourt, Île-de-France Qualcomm Temps plein

    Job Title: Senior Hardware Verification EngineerQualcomm is seeking a highly skilled Senior Hardware Verification Engineer to join our team. As a key member of our engineering group, you will be responsible for verifying innovative hardware in NoC infrastructure technologies for next-generation chipsets.Key Responsibilities:Develop verification plans for new...

  • Senior Hardware Verification Engineer

    il y a 3 semaines

    Guyancourt, Île-de-France Qualcomm Temps plein

    Job Summary:Qualcomm is seeking a Senior Hardware Verification Engineer to join our team in France. As a key member of our Hardware Verification team, you will be responsible for verifying innovative hardware in NoC infrastructure technologies for next-generation chipsets. Your key responsibilities will include:Assessing new technical specifications and...

  • Senior Hardware Verification Engineer

    Il y a 2 mois

    Guyancourt, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: QUALCOMM is a global leader in smart mobile technologies, providing comprehensive solutions that drive continuous innovation for today's connected devices. By pushing the boundaries of what is possible, Qualcomm delivers...

  • Senior Hardware Verification Engineer

    Il y a 5 mois

    Guyancourt, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: A world leader in smart mobile technologies, QUALCOMM (QCT) offers complete solutions that enable continuous innovation for today's smart connected devices. Qualcomm pushes the boundaries of what's possible to enable...

  • Senior Hardware Verification Engineer

    il y a 1 mois

    Guyancourt, France Qualcomm Temps plein

    Company:Qualcomm France S.A.R.L.Job Area:Engineering Group, Engineering Group > ASICS EngineeringGeneral Summary:QUALCOMM is a global leader in smart mobile technologies, providing comprehensive solutions that drive continuous innovation for today's connected devices. By pushing the boundaries of what is possible, Qualcomm delivers next-generation...

  • Senior Software Engineer

    il y a 2 semaines

    Guyancourt, Île-de-France Sodexo Temps plein

    Job Title: Senior Software EngineerWe are looking for a skilled Software Engineer to join our team. The successful candidate will have experience with Java and a strong understanding of software development principles.Key Responsibilities:Design and develop high-quality software solutionsCollaborate with cross-functional teams to deliver projects on...

  • Software Engineer

    il y a 3 semaines

    Guyancourt, Île-de-France Qualcomm Temps plein

    Job Summary:Qualcomm is seeking a highly skilled Software Engineer to join our team in ASIC design and verification. As a key member of our team, you will be responsible for designing and developing custom-built interconnect hardware IPs, software tools, and exploration and verification methodologies. Key Responsibilities: Design and develop software tools...

  • Noc Verification Tools Engineer

    Il y a 5 mois

    Guyancourt, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: Qualcomm France-QITC mission is to develop and deploy highly configurable custom-built interconnect hardware IPs (NoCs), software tools, and exploration and verification methodologies so that SoC integration teams can quickly...

  • Asic / Noc Verification & Solutions Senior

    il y a 1 semaine

    Guyancourt, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: Qualcomm France-QITC's mission is to develop and deploy highly configurable custom-built interconnect hardware IPs (NoCs), software tools, and exploration and verification methodologies. This enables SoC integration teams to...

  • Senior Software Engineer

    il y a 2 semaines

    Guyancourt, Île-de-France Fed Finance Temps plein

    Job Description:As a senior software engineer, you will be responsible for designing and developing complex software systems. Your expertise in full stack technologies will enable you to work on both frontend and backend aspects of the project.Key Responsibilities:Design and develop software systems using full stack technologies.Work closely with...

  • Senior Cloud Engineer

    Il y a 2 mois

    Guyancourt, France Orness Temps plein

    Senior Cloud Engineer (x/f/m)Un grand pôle spécialisé dans l'infrastructure et la production informatique, regroupant plus de 2000 collaborateurs, recherche un(e) Senior Cloud Engineer Windows Server sur AWS ou GCP.Ce pôle fournit à ses partenaires une gamme complète de services et solutions informatiques, tout en les accompagnant dans leurs démarches...

  • Software Engineer

    il y a 4 semaines

    Guyancourt, Île-de-France Qualcomm Temps plein

    Job Title: Software EngineerQualcomm is seeking a highly skilled Software Engineer to join our team in Engineering Group, ASICS Engineering. As a Software Engineer, you will play a key role in developing and deploying custom-built interconnect hardware IPs, software tools, and exploration and verification methodologies.Key Responsibilities:Design and develop...

  • Ingénieur Cloud Senior

    il y a 1 mois

    Guyancourt, Île-de-France Orness Temps plein

    Mission Senior Cloud EngineerUn grand pôle spécialisé dans l'infrastructure et la production informatique, regroupant plus de 2000 collaborateurs, recherche un(e) Senior Cloud Engineer Windows Server sur AWS ou GCP.Contexte de la missionAu sein d'une équipe dédiée aux services IT pour la banque d'investissement, vous interviendrez principalement sur un...

  • Ingénieur Cloud Senior

    il y a 1 mois

    Guyancourt, Île-de-France Orness Temps plein

    Mission Senior Cloud EngineerLe pôle d'Orness, spécialisé dans l'infrastructure et la production informatique, recherche un(e) Senior Cloud Engineer Windows Server sur AWS ou GCP.Contexte de la missionAu sein d'une équipe dédiée aux services IT pour la banque d'investissement, vous interviendrez principalement sur un site en Saint-Quentin en Yvelines,...

  • Senior Software Engineer

    il y a 2 semaines

    Guyancourt, Île-de-France Robert Half International Temps plein

    Job Description:As a senior software engineer, you will be responsible for developing high-quality software solutions in a collaborative team environment. Your key responsibilities will include designing and implementing software applications, collaborating with cross-functional teams, and ensuring timely delivery of high-quality software products.Key...

  • Software Engineer

    Il y a 5 mois

    Guyancourt, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: Qualcomm France-QITC mission is to develop and deploy highly configurable custom-built interconnect hardware IPs, software tools, and exploration and verification methodologies so that SoC integration teams can quickly assemble...

  • Alternance – Conducteur d'engin

    Il y a 5 mois

    Guyancourt, France EQUANS Temps plein

    Bouygues Energies & Services filiale d'Equans Europe Centrale recherche son/sa futur(e) : Alternant(e) Conducteur d'engins H/F Au sein du Groupe Bouygues Energies & Services, T&D est l'établissement spécialisé dans les métiers de la Très haute Tension (lignes aériennes, lignes souterraines, poste de transformation, fondations spéciales) sur...

  • Software Engineer

    il y a 4 semaines

    Guyancourt, France Qualcomm Temps plein

    **Company**: Qualcomm France S.A.R.L. **Job Area**: Engineering Group, Engineering Group > ASICS Engineering **General Summary**: Qualcomm France-QITC mission is to develop and deploy highly configurable custom-built interconnect hardware IPs, software tools, and exploration and verification methodologies so that SoC integration teams can quickly assemble...

  • Senior Software Engineer

    il y a 2 semaines

    Guyancourt, Île-de-France Sodexo Temps plein

    We are seeking a skilled Cloud Infrastructure Engineer to join our software development team. The ideal candidate will have a strong background in cloud infrastructure management and software development.Main Responsibilities:Design and implement scalable cloud infrastructure solutionsDevelop and maintain cloud-based software applicationsCollaborate with...