Formal Verification Product focused Application Engineer

$135,700 - $271,400/Yr

Siemens - San Jose, CA

Full-time - Mid Level

Remote - San Jose, CA

10,001+ employees

Machinery Manufacturing

About the position

The Formal Verification Product focused Application Engineer at Siemens Digital Industries Software will drive and grow the Formal Verification business across the Americas. This role involves collaborating with account teams to identify and qualify opportunities for formal verification engagement, while also providing hands-on expertise and promoting formal methodologies and tools to customers.

Responsibilities

• Develop strategy for driving formal business with account teams, ATM, and FAEs.
• Provide formal verification hands-on expertise to the FAE team.
• Act as an evangelist for the proliferation of formal methodologies, apps, and tools across the customer base.

Requirements

• Hands-on experience in working with customers to drive adoption of formal tools.
• Demonstrated expertise in working with formal techniques.
• Product, market, and industry knowledge in formal verification technology.
• Strong written and verbal communication skills.
• BSEE or equivalent, with 10+ years of experience in semiconductor design, verification, and formal verification.

Nice-to-haves

• Hands-on experience with QOSF (Questa-OneSpin Static and Formal) platform products is desired, but not required.
• Prospecting/uncovering skills.
• Demand creation experience.
• Ability to create and maintain technical campaigns.

Benefits

• Flexible working arrangements (home and office).
• Health and wellness benefits.
• Paid sick leave and parental leave.
• PTO or non-accrued flexible vacation.