Formal Verification Product focused Application Engineer

$135,700 - $271,400/Yr

Siemens - Austin, TX

Full-time - Mid Level

Remote - Austin, TX

10,001+ employees

Machinery Manufacturing

About the position

The Product focused AE for Formal Verification at Siemens EDA will drive and grow the Formal Verification business across the Americas. This role involves collaborating with account teams to identify and qualify formal verification opportunities, while also providing hands-on expertise and promoting formal methodologies and tools to enhance customer verification flows.

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 prospecting and uncovering skills.
• Ability to create and maintain technical campaigns.
• 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.
• EDA Functional Verification experience is desired.

Benefits

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