Formal Trust & Security Product Engineer (PE)

Job Title

Formal Trust & Security Product Engineer (PE)

Role Summary

The Product Engineer (PE) will define product features, gather customer requirements, and drive product rollout for Siemens EDA's formal verification and trust/security tool flows (Questa, OneSpin, etc.). The role works closely with product development, marketing, and customers to translate verification challenges into product solutions and support sales through demos, training, and competitive analysis.

Small amount of travel (domestic and international) is required. This role supports marketing and customer-facing activities and contributes to feature specification and validation.

Experience Level

Senior level — requires substantial industry experience (the posting specifies ~10 years of ASIC/FPGA design and verification experience).

Responsibilities

Core responsibilities include product definition, customer engagement, and marketing support focused on formal verification and trust/security:

• Gather customer feedback and requirements to identify verification and security challenges.
• Define product features, methodologies, and drive rollout with development and marketing teams.
• Present and demonstrate products at conferences, seminars, and customer meetings.
• Provide customer support: demos, training, evaluations, and competitive benchmarking.
• Manage technical relationships with customers and internal product teams.
• Influence product direction by translating customer needs into feature specifications and participating in development and validation.
• Prioritize trust and security tool requirements to address customer verification challenges.

Requirements

Must-have technical skills and domain experience; nice-to-have items noted separately.

• Must-have: Extensive ASIC and/or FPGA design experience with formal verification and debug (posting indicates ~10 years).
• Must-have: Hands-on experience writing and debugging formal properties (e.g., SVA) and running equivalence verification flows.
• Must-have: Programming experience with Verilog, SystemVerilog, VHDL, TCL/TK, and Python.
• Must-have: Familiarity with formal/EDA tools (examples: Questa formal apps, OneSpin, VC-Formal, Cadence Jasper).
• Must-have: Strong written and verbal communication and presentation skills; ability to work directly with customers.
• Nice-to-have: Experience working with Military and Aerospace customers.
• Nice-to-have: Exposure to sales and applications engineering environments.
• Occasional travel required.

Education Requirements

Posting specifies B.S.E.E. (Bachelor of Science in Electrical Engineering) or equivalent required; M.S.E.E. preferred. Equivalent practical experience is acceptable.

About the Company

Company: Siemens

Headquarters: Munich, Germany

Siemens EDA is a leading global provider of Electronic Design Automation (EDA) products and systems. Their innovative solutions enable companies to enhance the development of electronic products efficiently and effectively, keeping pace with the complex demands of technology and physics. Siemens is committed to delivering advanced workflow solutions that integrate both EDA and MCAD tools for multi-domain design and manufacturing in the semiconductor industry.