Skip to main contentA logo with &quat;the muse&quat; in dark blue text.

Product Engineer (Formal Verification)

Yesterday Austin, TX

Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more cost-effectively. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design.

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.

Want more jobs like this?

Get jobs in Austin, TX delivered to your inbox every week.

Job alert subscription


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.

Why us?

Working at Siemens Software means flexibility - Choosing between working at home and the office at other times is the norm here. We offer great benefits and rewards, as you'd expect from a world leader in industrial software.

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!

Siemens Software. Transform the Everyday with Us

#LI-EDA

#LI-HYBRID

#LI-EW1

129,600 233,300 5-10

Client-provided location(s): Austin, TX
Job ID: Siemens_Digital-484704-en-15074723
Employment Type: OTHER
Posted: 2025-11-11T23:57:25

Perks and Benefits

  • Health and Wellness

    • Health Insurance
    • Health Reimbursement Account
    • Dental Insurance
    • Vision Insurance
    • Life Insurance
    • Short-Term Disability
    • Long-Term Disability
    • FSA
    • FSA With Employer Contribution
    • HSA
    • HSA With Employer Contribution
    • Fitness Subsidies
    • On-Site Gym
    • Pet Insurance
    • Mental Health Benefits
    • Virtual Fitness Classes
  • Parental Benefits

    • Birth Parent or Maternity Leave
    • Non-Birth Parent or Paternity Leave
    • Family Support Resources
    • On-site/Nearby Childcare
    • Adoption Leave
  • Work Flexibility

    • Flexible Work Hours
    • Remote Work Opportunities
    • Hybrid Work Opportunities
    • Work-From-Home Stipend
  • Office Life and Perks

    • Commuter Benefits Program
    • Casual Dress
    • Happy Hours
    • Snacks
    • Some Meals Provided
    • Company Outings
    • On-Site Cafeteria
    • Holiday Events
  • Vacation and Time Off

    • Paid Vacation
    • Unlimited Paid Time Off
    • Paid Holidays
    • Personal/Sick Days
    • Sabbatical
    • Leave of Absence
    • Volunteer Time Off
  • Financial and Retirement

    • 401(K)
    • 401(K) With Company Matching
    • Pension
    • Company Equity
    • Stock Purchase Program
    • Performance Bonus
    • Relocation Assistance
    • Financial Counseling
    • Profit Sharing
  • Professional Development

    • Tuition Reimbursement
    • Learning and Development Stipend
    • Promote From Within
    • Mentor Program
    • Shadowing Opportunities
    • Access to Online Courses
    • Lunch and Learns
    • Internship Program
    • Work Visa Sponsorship
    • Leadership Training Program
    • Associate or Rotational Training Program
  • Diversity and Inclusion