Senior Principal Jasper Formal Verification Ae

Cadence

Base: $133,000 to $247,000 (massachusetts); bonus/...
Not specified in the job description.
7+ years formal property-checking tools experience
Advanced system verilog rtl design understanding
Simulation-based verification concepts expertise
Cadence is seeking a Senior Principal Jasper Formal Verification Application Engineer to provide technical support and innovative solutions to clients in the semiconductor industry. The ideal candidate should have over seven years of experience in formal property-checking tools and strong communication skills, along with a commitment to building client relationships and mentoring junior team members. This role offers competitive compensation and a comprehensive benefits package

Job Summary

  • This role involves collaborating with prominent semiconductor companies to implement Cadence's Jasper Formal Verification solutions.
  • The position requires providing hands-on technical support throughout both pre-sale and post-sale stages while building strong client relationships.
  • Candidates are eligible for incentive compensation including bonus, equity, and a comprehensive benefits package.

Matching Summary

Match Score: 85

Cadence is seeking a Senior Principal Jasper Formal Verification Application Engineer to provide technical support and innovative solutions to clients in the semiconductor industry. The ideal candidate should have over seven years of experience in formal property-checking tools and strong communication skills, along with a commitment to building client relationships and mentoring junior team members. This role offers competitive compensation and a comprehensive benefits package.

Salary

Base: $133,000 to $247,000 (Massachusetts); Bonus/Equity: Eligible for incentive compensation; Benefits: Paid vacation, 401(k) match, medical/dental/vision

Skills & Requirements

Must-have

  • 7+ years formal property-checking tools experience
  • Advanced System Verilog RTL design understanding
  • Simulation-based verification concepts expertise
  • UNIX, TCL scripting, and grid computing dispatchers
  • EDA tool administration proficiency

Nice-to-have

  • Self-driven with minimal supervision capability
  • Strong communication and interpersonal skills
  • Mentoring junior team members experience
  • Conference presentation and trade show representation
  • Competitive landscape analysis skills

Key Requirements

  • US Citizens preferred
  • 7+ years applying formal property-checking tools
  • Advanced degree in related field highly desirable

Work Rights

US Citizens preferred

Tailored Resume

Cover Letter