SeniorPrincipalJasperFormalVerificationAE

## **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 S