Senior Principal Jasper Formal Verification AE (Semiconductor)

TL;DR

Senior Principal Jasper Formal Verification AE (Semiconductor): Providing hands-on technical support and implementing formal verification solutions for semiconductor clients with an accent on pre-sale and post-sale technical engagement. Focus on resolving complex verification challenges, mentoring junior team members, and collaborating with R&D to drive innovative formal flows.

Location: Must be based in Boston, USA

Salary: $133,000–$247,000

Company

hirify.global is a leader in electronic design and computational software, helping customers solve complex design challenges in the semiconductor industry.

What you will do

• Collaborate with semiconductor and system companies to implement Jasper Formal Verification solutions.
• Provide hands-on technical support throughout pre-sale and post-sale stages.
• Resolve complex verification challenges by working with account teams and product developers.
• Partner with R&D teams to introduce innovative formal flows and applications.
• Mentor junior AE team members and foster a collaborative environment.
• Represent the company at technical conferences and trade shows.

Requirements

• US Citizens preferred
• 7+ years of experience applying formal property-checking tools to functional verification scenarios.
• Experience with simulation-based verification concepts including transactors, scoreboards, and functional coverage models.
• Comprehensive understanding of RTL design and advanced SystemVerilog features.
• Proficiency in UNIX, scripting languages like TCL, grid computing dispatchers, and EDA tool administration.
• Strong communication and interpersonal skills with the ability to work independently.

Nice to have

• Advanced degree in a related field.

Culture & Benefits

• Competitive compensation including bonus and equity.
• Comprehensive benefits including medical, dental, and vision plans.
• 401(k) plan with employer match.
• Employee stock purchase plan.
• Paid vacation and holidays.