Principal Jasper Formal Verification Application Engineer

Job Title

Principal Jasper Formal Verification Application Engineer

Role Summary

Field Applications Engineer focused on Cadence Jasper formal verification products. The role delivers hands-on pre-sale and post-sale technical support to semiconductor and system customers, helps deploy formal flows, and collaborates with product R&D to resolve complex verification challenges.

Experience Level

Senior level. The posting requests 7+ years applying formal property‑checking tools to functional verification scenarios.

Responsibilities

Provide customer-facing technical leadership and enablement for Jasper formal verification solutions.

• Deliver hands-on technical support during pre-sale evaluations and post-sale deployments.
• Provide reactive troubleshooting, proactive training, and expert consultation to customer teams.
• Work with R&D to develop and introduce formal flows, advocate customer needs, and test competitive solutions.
• Build technical credibility and maintain relationships with customers across expertise levels.
• Mentor junior AE team members and promote collaborative practices within the team.
• Represent the product at technical conferences and industry events.

Requirements

Key must-have skills and preferred qualifications.

• Must-have: 7+ years experience applying formal property-checking tools in verification projects.
• Must-have: Familiarity with simulation-based verification concepts (transactors, scoreboards, functional coverage).
• Must-have: Strong RTL design knowledge, including advanced SystemVerilog features.
• Must-have: Proficiency with UNIX, scripting (e.g., TCL), grid computing dispatchers, and EDA tool administration.
• Must-have: Self-driven, able to work independently, with strong verbal and written communication skills.
• Preferred: US citizenship preferred (per posting).
• Preferred: Experience mentoring engineers and collaborating with R&D on product workflows.

Education Requirements

An advanced degree in a related field is highly desirable.

About the Company

Company: Cadence Design Systems

Headquarters: San Jose, California, USA

Cadence Design Systems is a global electronic design automation company that provides software, hardware, and intellectual property for designing advanced semiconductor chips. With over 25 years in the industry, Cadence is known for its innovative technology solutions and has been recognized by Fortune Magazine as one of the 100 Best Companies to Work For. The company is dedicated to solving complex technical challenges in order to enable customers to create revolutionary products and experiences.