Principal Jasper Formal Verification AE

Cadence Design Systems

Field Applications Engineer at Cadence specializing in Jasper Formal Verification solutions. Collaborating with semiconductor companies and providing technical support throughout sales stages.

Posted 7/9/2026full-timeAustin • California, Texas • 🇺🇸 United StatesLead💰 $133,000 - $247,000 per yearWebsite

Tech Stack

Tools & technologies

Unix

About the role

Key responsibilities & impact

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.
Deliver exceptional reactive support, proactive training, and expert consultation.
Partner with R&D teams to introduce innovative formal flows and applications to customers.
Advocate for customer needs and assist in the development of competitive and inventive solutions.
Stay informed about the competitive landscape and seek ways to distinguish offerings.
Mentor junior AE team members and foster a collaborative, team-oriented environment.
Represent Cadence at technical conferences and trade shows.

Requirements

What you’ll need

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.
Strong communication and interpersonal skills are essential, as is relevant industry experience.
An advanced degree in a related field is highly desirable.

Benefits

Comp & perks

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.

ATS Keywords

✓ Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

Formal Property-Checking ToolsRTL DesignSystem VerilogSimulation-Based VerificationTransactorsScoreboardsFunctional Coverage ModelsEDA Tool AdministrationGrid Computing DispatchersScripting Languages

Soft Skills

Strong Communication SkillsInterpersonal SkillsMentoringTeam CollaborationSelf-Driven