Skip to content Skip to footer

Product Engineer (Formal Verification)

Job ID
494253
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

Siemens Digital Industries Software - Transform the everyday.

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.


Position Overview

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.

Job Qualifications

  • 15-year Formal Property Verification (FPV) experience using SVA, including building test benches and supporting multiple vendor tool flows.
  • Programming experience using Verilog, SystemVerilog, VHDL, TCL/TK, and Python.
  • Understanding of EDA tools, such as Questa OneSpin Verify Property, Synopsys VC Formal, Cadence Jasper, etc.
  • Strong communication and presentation skills, both written and verbal.
  • Exposure to sales and applications environment is a plus.
  • Occasional travel is required.
  • Education: B.S.E.E or equivalent; M.S.E.E. or equivalent preferred.

Working at Siemens Software

Why us?

We’re Siemens. A collection of over 377,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality, and we welcome applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit and business need. Bring your curiosity and creativity and help us shape tomorrow!


We offer a comprehensive reward package which includes a competitive basic salary, bonus scheme and generous holiday allowance.


Siemens is an equal opportunities employer and do not discriminate unlawfully on any grounds. We are committed to providing access and equal opportunity.


#LI-EDA

#LI-Hybrid

#LI-DS1