Product Engineer; Formal Verification

Job

Posted since: 03-Feb-2026

Organization:
Digital Industries

Field of work:
Research & Development

Company:
Siemens Electronic Design Automation SARL

Experience level:
Experienced Professional

Job type:
Full-time

Work mode:
Hybrid (Remote/Office)

Employment type:

Permanent

Location: Any Siemens location in the world

Let's make the difference together!

Siemens Digital Industries (DI) is an innovation leader in automation and digitalization. Closely collaborating with partners and customers, we care about the digital transformation in the process and discrete industries. With our Digital Enterprise portfolio, we provide and encourage companies of all sizes with an end-to-end set of products, solutions and services to integrate and digitalize the entire value chain. Meaningful optimization for the specific needs of each industry, our outstanding portfolio supports customers to achieve greater efficiency and flexibility.

We are constantly adding innovations to its portfolio to integrate groundbreaking future technologies. We have our global headquarters in Nuremberg, Germany, and have around 75,000 employees internationally.

We are seeking a dynamic and professional product engineer (PE), who enjoys multi-tasking in a fast paced, technical, and friendly environment. In this position you will be focused on product and deployment scalability of the Questa One Formal products with a specific focus on Verify Property quality, performance, and deployment. As a PE you will be working closely with product development teams, marketing managers, application engineers and customers.

Some domestic and international travel will be required.

Product Engineers define product features and methodologies:

In this role you will be defining feature and product requirements for the formal products to address current and emerging design challenges. You will be working closely with product development and marketing teams to connect these challenges with Siemens’ current and emerging technical solutions. You will also be guiding customers on formal methodologies and optimizing usage within customer environments.

Support marketing activities:

The PE will work closely with marketing teams to perform market research, product positioning and create supporting presentation materials. You will present and demonstrate the Questa One Formal products in conferences, seminars and events.

Work with customers:

You will be working with individual customers to understand their challenges and support methodology improvements to drive best in class solutions. Your ability to maintain customer relationships will help make you effective in this role. Customer-facing activities include product demonstrations, training, deployments, and competitive benchmarking. PE plays an active role in developing solutions to solve customer problems based on their insight into the customers’ environment.

Ideally, you will be a seasoned Formal Property Verification (FPV) expert who has knowledge of RTL design needs and formal verification methodologies.

Additional responsibilities include:

• Identifying market and customer profiles to deploy formal methodologies and technologies. Developing a network of technical relationships at a peer-to-peer level with both our customers and the product engineering teams.
• Delivering technical presentations, demonstrations and training to a range of audiences including users, managers, and decision-makers.
• Influencing product direction by gathering customer requirements and defining the use of models which drive product development and marketing teams.
• Participating in new feature specification, development, and validation processes to ensure the solution will meet customer requirements.

• 15-year Formal Property Verification (FPV) experience using SVA, including building test benches and supporting multiple vendor tool flows.
• Programming experience using Verilog, System Verilog, VHDL, TCL/TK, and Python.
• Understanding of EDA tools, such as Questa One Spin Verify Property, Synopsys VC Formal, Cadence Jasper, etc.
• Strong…