Formal Trust & Security Product Engineer

Job Title

Formal Trust & Security Product Engineer

Role Summary

Product Engineer responsible for product requirements, technical marketing, and customer support for trust and security flows in Siemens EDA's Questa/OneSpin formal verification products. The role works with product development, marketing, and customers to define features, validate solutions, and drive product rollout.

Hybrid role based in Cincinnati, OH with occasional domestic and international travel.

Experience Level

Senior — typically requires 10+ years of ASIC and/or FPGA design experience with formal verification and debug.

Responsibilities

The role combines product management, customer-facing activities, and technical enablement for formal verification tools.

• Gather customer feedback and requirements to identify design and verification challenges.
• Define product features, methodologies, and drive product rollout with engineering and marketing teams.
• Support marketing: market research, product positioning, create technical presentation and demo materials.
• Present and demonstrate formal verification products at conferences, seminars, and customer meetings.
• Manage multiple customer relationships: demonstrations, training, evaluations, and competitive benchmarking.
• Develop technical solutions and prioritize Trust & Security tool requirements based on customer environments.
• Participate in new feature specification, development, and validation to ensure alignment with customer needs.
• Maintain and grow technical relationships with customers and internal product teams.

Requirements

Must-have technical skills and experience; a few nice-to-have items are noted.

• Must-have: 10+ years ASIC and/or FPGA design experience with formal verification and debug.
• Must-have: Practical experience writing and debugging formal properties (e.g., SVA) and equivalence verification flows.
• Must-have: Programming experience in 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 engage technical and managerial audiences.
• Experience interacting directly with Military and Aerospace customers (listed as required).
• Ability to travel occasionally for customer engagements and events.
• Nice-to-have: Exposure to sales and applications or technical marketing environments.

Education Requirements

B.S. in Electrical Engineering (B.S.E.E) or equivalent required; M.S. in Electrical Engineering (M.S.E.E) preferred or equivalent. Equivalent practical experience accepted where indicated.

Apply for this position

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.