Senior Principal Application Engineer (Jasper Formal Verification)

TL;DR

Senior Principal Application Engineer (Jasper Formal Verification): Implementing and supporting advanced formal verification solutions for semiconductor clients with an accent on technical consultation and hands-on RTL design optimization. Focus on resolving complex verification challenges, mentoring junior engineers, and driving innovative formal verification flows in collaboration with internal R&D teams.

Location: Must be based in San Jose, CA

Salary: $143,500–$266,500

Company

hirify.global is a global leader in electronic design automation and semiconductor intellectual property.

What you will do

• Provide expert reactive and proactive technical support for Jasper Formal Verification products.
• Collaborate with customers to address complex functional verification challenges during pre-sale and post-sale stages.
• Partner with R&D teams to advocate for customer needs and influence the development of innovative formal flows.
• Mentor junior Application Engineering team members to foster a high-performance environment.
• Represent the company at technical conferences and trade shows to showcase domain expertise.
• Maintain technical credibility by staying informed on competitive landscapes and industry trends.

Requirements

• At least seven years of relevant industry experience.
• Strong expertise in RTL design, specifically SystemVerilog.
• Deep experience applying formal property-checking tools to functional verification scenarios.
• Proficiency in UNIX, TCL scripting, grid computing dispatchers, and EDA tool administration.
• Solid understanding of simulation-based verification including transactors and scoreboards.
• Must be located in or willing to work from San Jose, California.

Nice to have

• Advanced degree in a related engineering or technical field.

Culture & Benefits

• Comprehensive medical, dental, and vision insurance plans.
• 401(k) retirement plan with employer matching.
• Employee stock purchase program.
• Competitive performance-based incentive compensation.
• Paid vacation and designated holidays.