Product Engineer (Formal Verification)

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.

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.

Responsibilities

• 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.
• Support marketing activities: The PE will work closely with marketing teams to perform market research, product positioning and create supporting presentation materials.
• Work with customers: You will be working with individual customers to understand their challenges and support methodology improvements to drive best in class solutions.
• 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.