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

Job title:

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

Company:

Qualcomm

Job description

Job Description: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 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 EngineerAs 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

SkillsSystem Verilog Assertions, Verilog/SystemVerilog, PythonCadence Jasper Gold, Xcellium, Synopsys VF Formal, VCS / Verdi,Git, Svn database management toolsWorking environment: Linux, MS Office suite (Visio, Excel)What’s On OfferApart 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.

EducationMinimum QualificationsPost-graduate – Engineering – ScienceMinimum 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 or call Qualcomm’s toll-free number found . 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 .

Expected salary

Location

Guyancourt, Yvelines

Job date

Wed, 02 Oct 2024 06:49:29 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.