Jasper Formal Verification - Sr Principal Application Engineer

Cadence Systems•Boston, MA

14h

About The Position

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.

Requirements

Comprehensive understanding of RTL design, particularly the advanced features of System Verilog.
Deep expertise in applying formal property-checking tools to various functional verification scenarios.
Strong communication and interpersonal skills.
Familiarity with simulation-based verification concepts such as transactors, scoreboards, and functional coverage models.
Proficiency in UNIX.
Proficiency in scripting languages like TCL.
Proficiency in grid computing dispatchers.
Proficiency in EDA tool administration.
At least seven years of relevant industry experience.
Self-driven and capable of working independently with minimal supervision.

Nice To Haves

An advanced degree in a related field is highly desirable.

Responsibilities

Provide hands-on technical support throughout both the pre-sale and post-sale stages.
Address and resolve complex verification challenges for customers.
Establish technical credibility and build strong relationships with clients.
Deliver exceptional reactive support, proactive training, and expert consultation.
Partner with R&D teams to introduce innovative formal flows and applications to customers.
Advocate for customer needs and assist in the development of competitive solutions.
Stay informed about the competitive landscape and distinguish Cadence's offerings.
Mentor junior AE team members.
Represent Cadence at technical conferences and trade shows.