Intel GPU IP Formal Verification Engineer 

India, Karnataka, Bengaluru 

35712232

Minimum qualifications are required to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.
Minimum Qualifications:

• You must possess a Bachelor's degree with 6+ years of experience or a Master's degree with 4+ year's experience in Electrical/Electronic Engineering, Computer Engineering.
• Computer system architecture.
• Digital electronics and logic design.
• Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.
• Formal Method or Formal Verification technologies experience and abstraction techniques.
• Temporal logic assertion-based languages such as SVA or PSL.
• Developed comprehensive formal verification test plans.
• Knowledge of simulation tools such as VCS/Verdi.
• Knowledge in some scripting language (Perl / Python).
• Excellent written and verbal communication skills.
• Motivated, self-directed and able to work effectively both independently and in a highly dynamic cross geo teams.
  

Preferred Qualifications:

• Preferable experience with Formal Verification Tools (eg. Jasper Gold, VC Formal).
• Experience to work with multiple teams across a wide range of disciplines and countries.

Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research.

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits