Principal Jasper Formal Verification AE

Primary Responsibilities

• Establish technical credibility and build strong relationships with clients.
• Deliver exceptional reactive support, proactive training, and expert consultation to ensure users derive maximum benefit from Cadence’s Jasper Formal Verification solutions.
• 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.
• Mentor junior AE team members and foster a collaborative, team-oriented environment.
• Represent Cadence at technical conferences and trade shows to showcase expertise and connect with industry peers.

Requirements

• US Citizenship 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

Qualifications

• Self-driven, capable of working independently with minimal supervision
• Strong communication and interpersonal skills
• Relevant industry experience

Benefits

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.

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.