Senior Formal Verification Engineer – Qualcomm – Sophia or Guyancourt – France in Guyancourt, France

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.

• Proficiency in using formal proof tools and applications, such as JasperGold and VC Formal.

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

*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail myhr.support@qualcomm.com or call Qualcomm’s toll-free number found here (https://qualcomm.service-now.com/hrpublic?id=hr_public_article_view&sysparm_article=KB0039028) . Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities.

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.

To all Staffing and Recruiting Agencies : Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.

If you would like more information about this role, please contact Qualcomm Careers (http://www.qualcomm.com/contact/corporate) .

EEO Employer: Qualcomm is an equal opportunity employer; all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability, Veteran status, or any other protected classification