Jasper Formal Verification - Sr Principal Application Engineer

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

As a valued member of the North American Field Applications Engineering (AE) team, you will collaborate with prominent semiconductor and system companies to implement Cadence's Jasper Formal Verification solutions. This dynamic, customer-facing position requires you to provide hands-on technical support throughout both the pre-sale and post-sale stages. By working closely with account teams and product developers, you will help address and resolve complex verification challenges for customers.

Your primary responsibilities include:

• Establishing technical credibility and building strong relationships with clients, who may range from newcomers to seasoned experts in formal verification.

• Your role involves delivering exceptional reactive support, proactive training, and expert consultation to ensure users derive maximum benefit from our products.

• Additionally, you'll partner with R&D teams to introduce innovative formal flows and applications to customers, advocate for their needs, and assist in the development of competitive and inventive solutions.

• To maintain Cadence's edge in the industry, you are expected to stay informed about the competitive landscape and continually seek ways to distinguish our offerings.

• Mentoring junior AE team members and fostering a collaborative, team-oriented environment is integral to this role.

• Representing Cadence at technical conferences and trade shows provides you an opportunity to showcase our expertise and connect with industry peers.

Success in this position requires:

• A comprehensive understanding of RTL design, particularly the advanced features of System Verilog.

• You should possess deep expertise in applying formal property-checking tools to various functional verification scenarios. Strong communication and interpersonal skills are essential, as is familiarity with simulation-based verification concepts such as transactors, scoreboards, and functional coverage models.

• Proficiency in UNIX, scripting languages like TCL, grid computing dispatchers, and EDA tool administration is also necessary.

• The ideal candidate is self-driven, capable of working independently with minimal supervision, and has at least seven years of relevant industry experience.

• An advanced degree in a related field is highly desirable.

The annual salary range for California is $143,500 to $266,500. You may also be eligible to receive incentive compensation: bonus, equity, and benefits. Sales positions generally offer a competitive On Target Earnings (OTE) incentive compensation structure. Please note that the salary range is a guideline and compensation may vary based on factors such as qualifications, skill level, competencies and work location. Our benefits programs include: paid vacation and paid holidays, 401(k) plan with employer match, employee stock purchase plan, a variety of medical, dental and vision plan options, and more.

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

Client-provided location(s): San Jose, CA

Job ID: Cadence-R53682

Employment Type: FULL_TIME

Posted: 2026-03-12T18:45:25