Application Engineer (Formal Verification)

TL;DR

Application Engineer (Formal Verification): Collaborating with semiconductor companies to implement hirify.global’s Jasper Formal Verification, Chipstack, and AI solutions with an accent on hands-on technical support in pre-sale and post-sale stages. Focus on resolving complex verification challenges, delivering training and consultation, and partnering with R&D for innovative formal flows.

San Jose, CA (Onsite)

Salary: $74,200 - $137,800 (California)

Company

Leader in electronic design automation (EDA) tools for semiconductor and system companies.

What you will do

• Provide hands-on technical support for hirify.global’s formal verification and AI solutions throughout pre-sale and post-sale.
• Build relationships with clients, deliver reactive support, proactive training, and expert consultation.
• Partner with R&D to introduce innovative formal flows, advocate for customer needs, and develop competitive solutions.
• Monitor competitive landscape and mentor junior team members.
• Represent hirify.global at technical conferences and trade shows.

Requirements

• Comprehensive understanding of RTL design and advanced SystemVerilog features.
• Deep expertise in formal property-checking tools for functional verification scenarios.
• Familiarity with simulation-based verification (transactors, scoreboards, functional coverage).
• Proficiency in UNIX, TCL scripting, grid computing dispatchers, and EDA tool administration.
• Strong communication skills; self-driven with at least 7 years of relevant experience.

Nice to have

• Advanced degree in a related field.

Culture & Benefits

• Paid vacation and holidays.
• 401(k) with employer match, employee stock purchase plan.
• Medical, dental, and vision plans.
• Incentive compensation including bonus and equity.
• Collaborative team environment focused on innovation and impact.