Principal Jasper Formal Verification AE - Cadence - Remote - Global

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: US Citizens preferred 7+ years experience applying formal property-checking tools to various functional verification scenarios. Experience with simulation-based verification concepts such as transactors, scoreboards, and functional coverage models. A comprehensive understanding of RTL design, particularly the advanced features of System Verilog. 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 strong communication and interpersonal skills are essential, as is relevant industry experience. An advanced degree in a related field is highly desirable. The annual salary range for Massachusetts is $133,000 to $247,000. 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.