GPU Formal Verification Lead

Job content

Company:Qualcomm India Private Limited

Job Area:Engineering Group, Engineering Group > Hardware Engineering

Job Overview

General Summary

Qualcomm Graphics HW team in India is part of a worldwide team responsible for developing and delivering GPU solutions which are setting the benchmark in Mobile/Compute/Automotive industry. The role of GPU Formal verification Engineer will involve Verification of the GPU C-models/RTL using industry standard Formal Verification tools and technologies based on latest model/equivalence checking algorithms

The role also requires close collaboration with worldwide design, systems and EDA/CAD teams. Hence, we are looking for candidates with strong communication skill – both written and verbal. For better understanding of some of our products, please refer to the links below

https://www.qualcomm.com/products/smartphones

https://www.qualcomm.com/products/smartphones/gaming

Minimum Qualifications

Minimum 6-12 years of VLSI industry experience

Strong analytical skills to solve complex problems.

Specialization in formal verification with tools like Jasper or VC-Formal

Knowledge of cutting edge formal verification methodologies and techniques.

Able to implement abstraction techniques for effective verification.

Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.

Proficient with scripting languages such as Perl and(or) Python

Job Overview

Qualcomm Graphics HW team in India is part of a worldwide team responsible for developing and delivering GPU solutions which are setting the benchmark in Mobile/Compute/Automotive industry. The role of GPU Formal verification Engineer will involve Verification of the GPU C-models/RTL using industry standard Formal Verification tools and technologies based on latest model/equivalence checking algorithms

The role also requires close collaboration with worldwide design, systems and EDA/CAD teams. Hence, we are looking for candidates with strong communication skill – both written and verbal. For better understanding of some of our products, please refer to the links below

https://www.qualcomm.com/products/smartphones

https://www.qualcomm.com/products/smartphones/gaming

Minimum Qualifications

Minimum 6-12 years of VLSI industry experience

Strong analytical skills to solve complex problems.

Specialization in formal verification with tools like Jasper or VC-Formal

Knowledge of cutting edge formal verification methodologies and techniques.

Able to implement abstraction techniques for effective verification.

Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.

Proficient with scripting languages such as Perl and(or) Python

Education

Minimum Qualifications

Bachelors - Computer Science, Bachelors - Electronics and Communications Engineering, Bachelors - Information Systems

Certifications

Work Experiences:

Skills

Assertions, Formal Verification, SystemVerilog, Universal Verification Methodology (UVM)

Education

Preferred Qualifications

Work Experiences

6+ years Hardware Engineering experience or related work experience.

Skills

Applicants: If you need an accommodation, during the application/hiring process, you may request an accommodation by sending email to accommodationsupport

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 .