Cadence

SeniorPrincipalJasperFormalVerificationAE

$133–133k Boston, Massachusetts, United States FULL TIME
The Brief

“Senior Principal Jasper Formal Verification AE at Cadence. Skills: Formal Verification, RTL Design, System Verilog, UNIX. Implement Cadence’s Jasper Formal Verification solutions. Provide hands-on technical support”

What You'll Achieve.

ensure users derive maximum benefit from our products

Industry & Context.

Problems you'll solve

resolve complex verification challenges

Eligibility Requirements

US Citizens preferred

What They're Looking For.

Must Have

7+ years experience applying formal property-checking tools, Experience with simulation-based verification concepts, A comprehensive understanding of RTL design, advanced features of System Verilog, Proficiency in UNIX, scripting languages like TCL, grid computing dispatchers, EDA tool administration

Nice to Have

An advanced degree in a related field

What You'll Do.

Implement Cadence’s Jasper Formal Verification solutions

Provide hands-on technical support

Address and resolve complex verification challenges

Establish technical credibility

Build relationships with clients

Deliver reactive support

Provide proactive training

Offer expert consultation

Partner with R&D teams

Introduce innovative formal flows

Advocate for customer needs

Assist in development of solutions

Stay informed about competitive landscape

Seek ways to distinguish offerings

Mentor junior AE team members

Represent Cadence at conferences

How You'll Work.

Team & Collaboration

Collaborate with semiconductor and system companies; Work closely with account teams; Partner with R&D teams; Foster a collaborative, team-oriented environment

Communication Scope

communication and interpersonal skills

Free ATS check

Applying for this Senior Principal Jasper Formal Verification AE role?

Most applicants get filtered before a human reads their resume. See if yours makes the cut.

How to Apply on Workday

  • Workday has a multi-step form — save your progress after every section.
  • "Apply With LinkedIn" can fail or lose data; manual entry is more reliable.
  • Watch for the "Submit for Review" final step — hitting "Save" alone does not submit.
  • Job requisition numbers are useful when following up with HR by email.

ANONYMOUS · UNFILTERED

What do employees actually say about Cadence?

Real rants from real employees. Read before you apply.

Read Company Rants →