Jasper Formal Verification Sr Principal Application Engineer

As a valued member of the North American Field Applications Engineering (AE) team you will collaborate with prominent semiconductor and system companies to implement Cadences 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:

• Establishingtechnical 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.

• Additionallyyoullpartner with R&D teams to introduce innovative formal flows and applications to customers advocate for their needs andassistin the development of competitive and inventive solutions.

• To maintain Cadences 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.

• RepresentingCadence at technical conferences and trade showsprovidesyou an opportunity toshowcaseourexpertiseand connect with industry peers.

Success in this position requires:

• Acomprehensive understanding of RTL design particularly the advanced features ofSystemVerilog.

• You shouldpossessdeepexpertisein applying formal property-checking tools to various functional verification scenarios.Strong communicationand interpersonal skills are essential as is familiarity with simulation-based verification concepts such as transactors scoreboards and functional coverage models.

• Proficiencyin 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 leastsevenyears of relevant industry experience.

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