Loading ...
Loading ...
GPU Formal Verification Lead
Ver: 106
Dia de atualização: 30-05-2024
Localização: Noida Uttar Pradesh
Categoria: Alta tecnologia
Indústria: Computer Software Semiconductors Wireless
Posição: Not Applicable
Tipo de empregos: Full-time
Loading ...
Conteúdo do emprego
Company:Qualcomm India Private LimitedJob 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 .
Loading ...
Loading ...
Data limite: 14-07-2024
Clique para aplicar para o candidato livre
Reportar emprego
Loading ...
Loading ...
EMPREGOS SEMELHANTES
-
⏰ 02-07-2024🌏 Lucknow, Uttar Pradesh
-
⏰ 05-07-2024🌏 Ghaziabad, Uttar Pradesh
-
⏰ 22-06-2024🌏 Ghaziabad, Uttar Pradesh
-
⏰ 03-07-2024🌏 Ghaziabad, Uttar Pradesh
Loading ...
-
💸 ₹3,438,132/yr - ₹4,811,160/yr⏰ 26-06-2024🌏 Kanpur, Uttar Pradesh
-
⏰ 25-06-2024🌏 Noida, Uttar Pradesh
-
⏰ 22-06-2024🌏 Ghaziabad, Uttar Pradesh
-
💸 ₹696,000/yr - ₹720,000/yr⏰ 22-07-2024🌏 Kanpur, Uttar Pradesh
Loading ...
-
⏰ 06-07-2024🌏 Noida, Uttar Pradesh
-
💸 $39,996/yr - $44,436/yr⏰ 05-07-2024🌏 Kanpur, Uttar Pradesh