Jasper Formal Verification - Sr Principal Application Engineer
About The Position
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.
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, scripting languages like TCL, grid computing dispatchers, and 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 is highly desirable.
Responsibilities
- Establishing technical credibility and building strong relationships with clients
- Delivering exceptional reactive support, proactive training, and expert consultation
- Partnering 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
- Staying 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
- Representing Cadence at technical conferences and trade shows
Benefits
- paid vacation and paid holidays
- 401(k) plan with employer match
- employee stock purchase plan
- a variety of medical, dental and vision plan options
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
Education Level
No Education Listed
