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 Cadence’s Jasper Formal Verification, Chipstack and AI 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: 

•  A comprehensive understanding of RTL design, particularly the advanced features of System Verilog.  

• You should possess deep expertise in applying formal property-checking tools to various functional verification scenarios. Strong communication and interpersonal skills are essential, as is familiarity with simulation-based verification concepts such as transactors, scoreboards, and functional coverage models.  

• 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 at least seven years of relevant industry experience.  

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