Qualcomm DDR Formal Verification Sr lead Engineer 

India, Karnataka, Bengaluru 

930467808

Job Area:

Engineering Group, Engineering Group > Hardware Engineering

Additional Job Description

Minimum Qualifications

Minimum 4-12 years of VLSI industry experience

Strong analytical skills to solve complex problems.

Specialization in formal verification with tools like Jasper Gold 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, TCL and(or) Python

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

Work Experiences:

System Verilog Assertions, Formal Verification, System Verilog

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.