Formal Verification Engineer, Senior Staff

2 Months ago • 4-6 Years • Software Development & Engineering

Job Summary

Job Description

As a Qualcomm GPU ASIC Engineer, you will architect, design, implement, verify, and optimize the performance and power of GPU cores. You will collaborate with cross-functional teams to meet customer needs. Key responsibilities include deploying industry-leading verification methodologies, developing test plans, writing and debugging SystemVerilog assertions, analyzing coverage data, and developing automation for workflows. This role involves debugging regressions, supporting design integration, and participating in project reviews. Experience with formal verification tools like Jasper, VC-formal, OneSpin, or QuestaFormal is essential, along with System Verilog/SVA, Verilog or VHDL, and scripting skills.
Must have:
  • Formal verification (Static/Dynamic)
  • Formal tools: Jasper, VC-formal, OneSpin, QuestaFormal
  • System Verilog/SVA, Verilog or VHDL
  • Scripting skills
Good to have:
  • Knowledge of abstractions, constraints, equivalence checking
  • Formal tool applications (Low power, X-prop, Connectivity checking)
  • Design debug, Deep bug hunting
  • CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Caches design knowledge

Job Details


Company:

Qualcomm Europe, Inc., Greek Branch Office

Job Area:

Engineering Group, Engineering Group > ASICS Engineering

General Summary:

Job Description

As a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm GPU ASIC Engineer, you may architect, design, implement, verify, and/or optimize the performance and power of GPU cores. Qualcomm Engineers collaborate with cross-functional teams to meet and exceed customer needs.

Minimum Qualifications

  • Verification skills: Formal verification (Static) and Dynamic (simulations)

  • Formal tools – Jasper, VC-formal, OneSpin, QuestaFormal

  • System Verilog/SVA, Verilog or VHDL, Scripting skills

Preferred Qualifications:

  • Knowledge of abstractions, constraints, equivalence checking etc

  • Apps in formal tools (Low power, X-prop, Conectivity checking etc)

  • Design debug, Deep bug hunting

  • Design knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Caches

Principal Duties and Responsibilities:

  • Deploying Industry-Leading Verification Methodologies

  • Test plan development based on Design documents and interaction with design/systems engineers

  • Writing and debugging SystemVerilog assertions

  • Analyzing coverage data and working with Design teams to address coverage holes

  • Develop/augment framework for running regressions

  • Running/Debugging Power aware simulations

  • Debugging regression failures with design/Systems teams

  • Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level

  • Python/Perl automation for improving workflows and team efficiency

  • Participate in project reviews

Level of Responsibility:

  • Provides supervision/guidance to other team members.

  • Decision-making is significant in nature and affects work beyond immediate work group.

  • Tasks do not have defined steps; planning, problem-solving, and prioritization must occur to complete the tasks effectively.

  • Requires verbal and written communication skills to convey complex information.

  • Has influence over key organizational decisions (e.g., is consulted by senior leadership to make key decisions).

Minimum Qualifications:

• Bachelor's degree in Science, Engineering, or related field and 6+ years of ASIC design, verification, validation, integration, or related work experience.
OR
Master's degree in Science, Engineering, or related field and 5+ years of ASIC design, verification, validation, integration, or related work experience.
OR
PhD in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.

*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 disability-accomodations@qualcomm.com or call Qualcomm's toll-free number found here. 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. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

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.

Similar Jobs

Moonton  - 【A02】Unity Client Lead Engineer

Moonton

Shanghai, China (On-Site)
4 Weeks ago
Toast - Territory Account Executive

Toast

Louisville, Kentucky, United States (On-Site)
1 Month ago
Mattel Inc - Inventory Analyst

Mattel Inc

Kuala Lumpur, Federal Territory Of Kuala Lumpur, Malaysia (On-Site)
7 Months ago
Betson Group - Customer Service & Protection Agent (NL/EN)

Betson Group

Malta, New York, United States (Hybrid)
3 Months ago
IMC - Financial Reporting Analyst

IMC

Chicago, Illinois, United States (On-Site)
2 Months ago
Apple - Allocation Engineering Project Specialist

Apple

Cupertino, California, United States (On-Site)
1 Month ago
Zeeco, Inc. - Thermal Design Engineer - WHRB

Zeeco, Inc.

Mumbai, Maharashtra, India (On-Site)
9 Months ago
Capgemini - SAP BPC Embedded

Capgemini

Pune, Maharashtra, India (On-Site)
2 Months ago
Cognite - Field Engineer/Technical Sales - Operations & Maintenance (Oil & Gas)

Cognite

Kuala Lumpur, Federal Territory Of Kuala Lumpur, Malaysia (Remote)
3 Months ago
GoMotive - Senior Technical Support Engineer

GoMotive

Pakistan (Remote)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Hawkeye Innovations - Match Day Technician

Hawkeye Innovations

Thessaloniki, Greece (On-Site)
2 Months ago
WebFX - Digital Media - Account Manager

WebFX

Harrisburg, Pennsylvania, United States (On-Site)
10 Months ago
Apple - Product Manager, Apple Ads Privacy

Apple

Cupertino, California, United States (On-Site)
3 Months ago
Guardian - Senior Claims Manager

Guardian

Pittsfield, Massachusetts, United States (Hybrid)
1 Month ago
NCR Voyix - Software Engineer III / Java Full Stack Developer

NCR Voyix

Chennai, Tamil Nadu, India (On-Site)
2 Months ago
Plug power - Field Service Technician

Plug power

Aurora, Colorado, United States (On-Site)
3 Months ago
OKX - Senior Manager, Enterprise Compliance Project Management

OKX

San Jose, California, United States (Hybrid)
4 Weeks ago
CAE - Executive assistant & board of liaison

CAE

Montreal, Quebec, Canada (On-Site)
3 Weeks ago
Global Business Travel - Principal Software Development Engineer

Global Business Travel

Issy-les-Moulineaux, Île-de-France, France (On-Site)
1 Year ago
eBay - Senior Manager, Strategy & Operations

eBay

Portland, Oregon, United States (Remote)
1 Month ago

Get notifed when new similar jobs are uploaded

Jobs in Chalandri, Greece

kaizen gaming  - Principal Data Scientist

kaizen gaming

Athens, Greece (Hybrid)
2 Months ago
Tesla - Electrical Engineer, Motor Design - Optimus

Tesla

Athens, Greece (On-Site)
6 Months ago
DOTSOFT SA - R&D ICT Projects Economist / Admin Assistant

DOTSOFT SA

Pylaia, Greece (On-Site)
3 Weeks ago
Hawkeye Innovations - Football Video Systems Technician

Hawkeye Innovations

Athens, Greece (On-Site)
1 Month ago
PwC - Deals Transaction Services Senior Associate

PwC

Athens, Greece (Hybrid)
10 Months ago
Tesla - Magnetics Test Engineer

Tesla

Athens, Greece (On-Site)
6 Months ago
Ansys - Software Development Engineer - C++/Python

Ansys

Chalandri, Greece (On-Site)
1 Month ago
kaizen gaming  - Data Scientist

kaizen gaming

Thessaloniki, Greece (Hybrid)
2 Months ago
Betson Group - Key Account Manager

Betson Group

Athens, Greece (On-Site)
2 Months ago
Sword Health - Senior ML Engineer

Sword Health

Greece (Remote)
2 Months ago

Get notifed when new similar jobs are uploaded

Software Development & Engineering Jobs

Qualcomm - Capacity Planning Engineer

Qualcomm

Singapore (On-Site)
2 Months ago
Argus - Software Engineer Internship

Argus

Jakarta, Indonesia (Remote)
6 Months ago
bytedance - Software Engineer, Inference

bytedance

San Jose, California, United States (On-Site)
9 Months ago
Google - CPU Logic Design Engineer

Google

Haifa, Haifa District, Israel (On-Site)
4 Months ago
Apple - iPhone Hardware Engineering Program Manager

Apple

Cupertino, California, United States (On-Site)
1 Month ago
Apple - Inductive Power Transfer DSP Engineer (Wireless Power)

Apple

Cupertino, California, United States (On-Site)
3 Months ago
Riot Games - Manager, Software Engineering - Infrastructure / Cloud Foundations

Riot Games

Los Angeles, California, United States (On-Site)
7 Months ago
Tencent - Large Language Model Algorithm Engineer

Tencent

California, United States (On-Site)
5 Months ago
Tesla - Senior Controls Engineer, Technical Services

Tesla

Brandenburg, Germany (On-Site)
6 Months ago
Blooming Health - Vice President of Engineering

Blooming Health

New York, United States (Hybrid)
4 Weeks ago

Get notifed when new similar jobs are uploaded

About The Company

Our employees make Qualcomm’s success possible. We hire the brightest minds and foster a supportive, inclusive culture where your ideas have the power to contribute to world-changing innovations and breakthrough technologies. To make that possible, we leverage the breadth and depth of our diverse expertise from around the world to answer the unasked, conquer the complex, and solve some of the biggest challenges only we can – together.

Hyderabad, Telangana, India (On-Site)

Hyderabad, Telangana, India (On-Site)

Bengaluru, Karnataka, India (On-Site)

Guyancourt, Île-de-France, France (On-Site)

San Diego, California, United States (On-Site)

Hyderabad, Telangana, India (On-Site)

Hyderabad, Telangana, India (On-Site)

Hyderabad, Telangana, India (On-Site)

Hsinchu City, Taiwan (On-Site)

San Diego, California, United States (Remote)

View All Jobs

Get notified when new jobs are added by Qualcomm