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 creating 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 be maintain customer relationships will help make you effective in this role. Customer facing activities include product demonstrations, training, deployments, and competitive benchmarking. The 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 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 testbenches 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.