At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

The Jasper engineering team is seeking a Product Engineer to help drive the industry’s leading formal verification tool. The Product Engineer (PE) bridges the gap between customers, R&D, and field Application Engineers (AEs). In this highly creative and innovative role, they are responsible for ensuring that existing flows and apps meet the ongoing needs of our customers, while also developing flows and requirements to solve new verification challenges. The PE will collaborate closely with both customers and R&D to drive specification, implementation, and evaluation/benchmarking of the new solutions. In addition, the PE will be responsible for the roll-out of new features to AEs and customers, and in some cases will play a pivotal role performing hands on work, (remote or onsite) to enable key customers to achieve their verification goals with very high performance & efficiency.

This position gives abundant exposure to work on and influence the latest design styles and verification methodologies that are used by large semiconductor companies. This job may occasionally involve worldwide travel to attend meetings or conferences, or to assist with product demonstrations and evaluations at customer sites.

Desired Skills and Experience

• The candidate should possess minimum BE/B. Tech engineering in CS or EE with minimum 8 years of industry experience.
• A general understanding of Assertion Based Verification (ABV) is a must.
• Hands on experience with using a formal property verification tool such as Jasper is a must.
• Hands on design experience using Verilog, System Verilog, VHDL is a must.
• Understanding of the differences between synthesizable vs non-synthesizable coding styles is a must.
• Hands on experience using an HDL simulator such as Xcelium or Incisive etc. is a plus.
• Knowledge or experience with high level modeling languages such as SystemC is a plus.
• Hands on experience with common scripting languages such as Python, TCL, sh etc. is a must.
• Knowledge of Verification IP and common protocols such as AMBA is a plus.
• Knowledge of sign-off methodologies using code & functional coverage is a plus.
• Highly technical & hands on engineer with an ability to partner with key customers and provide expert support to field application engineers.
• Travel will be required to visit Cadence sites and/or work at customer sites
• Highly organized, self-motivated individual with demonstrated ability to multi-task
• Very good communication skills and a strong desire for working in a global environment with customers, developers, marketing and sales.
• Passionate about adopting and promoting new technologies and making customers successful.
• Successful in building and delivering training content on rolling out new products/methodologies

We’re doing work that matters. Help us solve what others can’t.