Formal Verification Product focused Application Engineer

$135,700 - $271,400/Yr

Siemens - Fremont, CA

Full-time - Mid Level

Remote - Fremont, CA

10,001+ employees

Machinery Manufacturing

About the position

The Formal Verification Product focused Application Engineer (AE) 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

• Work with account teams, ATM, and FAEs to develop strategy for driving formal business
• 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
• Prospecting/uncovering skills
• Demand creation
• Create and maintain technical campaigns
• Set appropriate expectations and decision criteria
• Bring technical campaigns to successful closure
• Strong written and verbal skills are required
• BSEE or equivalent, 10+ years of experience in semiconductor design, verification, and formal verification
• EDA Functional Verification experience desired

Nice-to-haves

• Hands-on experience with QOSF (Questa-OneSpin Static and Formal) platform products is desired, but not required

Benefits

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