Qualcomm GPU Formal Verification Engineer - Bangalore 

India, Karnataka, Bengaluru 

454053532

Job Area:

Engineering Group, Engineering Group > Hardware Engineering

Preferred Qualifications

Minimum 2-10 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

Minimum Qualifications:

• Bachelor's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 3+ years of Hardware Engineering or related work experience.

Master's degree in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 2+ years of Hardware Engineering or related work experience.

PhD in Computer Science, Electrical/Electronics Engineering, Engineering, or related field and 1+ year of Hardware Engineering or related work experience.

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.