Jasper Formal Verification - Sr Principal Application Engineer

Cadence Design Systems • Boston, MA

1d

About The Position

As a valued member of the North American Field Applications Engineering (AE) team at Cadence, 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

• A 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
• Self-driven, capable of working independently with minimal supervision
• At least seven years of relevant industry experience

Nice To Haves

• An advanced degree in a related field
• US Citizens preferred

Responsibilities

• Collaborate with prominent semiconductor and system companies to implement Cadence’s Jasper Formal Verification solutions
• Provide hands-on technical support throughout both the pre-sale and post-sale stages
• Work closely with account teams and product developers to help 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 to ensure users derive maximum benefit from products
• Partner with R&D teams to introduce innovative formal flows and applications to customers
• Advocate for customer needs
• Assist in the development of competitive and inventive solutions
• Stay informed about the competitive landscape and continually seek ways to distinguish Cadence’s offerings
• Mentor junior AE team members
• Foster a collaborative, team-oriented environment
• Represent Cadence at technical conferences and trade shows

Benefits

• Paid vacation
• Paid holidays
• 401(k) plan with employer match
• Employee stock purchase plan
• A variety of medical plan options
• A variety of dental plan options
• A variety of vision plan options
• Incentive compensation: bonus
• Incentive compensation: equity
• Competitive On Target Earnings (OTE) incentive compensation structure (for Sales positions)

What This Job Offers

• Job Type: Full-time
• Career Level: Principal
• Education Level: No Education Listed
• Number of Employees: 5,001-10,000 employees