Formal Verification Algorithms Expert

Job Description

At Siemens, we are always challenging ourselves to build a better future. We need the most innovative and diverse Digital Minds to develop tomorrow’s reality. Find out more about the Digital world of Siemens here:

Position Overview

As a member of the Questa Formal R&D team, you will design, develop, modify, and implement algorithms for the formal verification of digital hardware systems. Work with model checking algorithms, SAT solvers, synthesis optimizations, SMT solvers and BDD packages to produce the highest performing solvers on both traditional grid platforms and cloud computing platforms. Participate in academic and industry conferences. Collaborate with our customers, leading semiconductor companies, to best apply and expand our technology portfolio for their verification challenges.


The successful candidate will be part of an R&D team responsible for improving the runtime performance of the solvers underlying the Questa Formal suite of verification tools. Developing in C++, the candidate will consider all aspects of performance, from the underlying solvers, to the formulation of verification problems, to the hardware platforms used to run the tools.  The candidate will take promising ideas from conception, to implementation, and through to deployment.

Additionally, the candidate will collaborate with our industrial customers and academic researchers to generate and discuss potentially useful algorithms and approaches that improve the performance of formal verification

Required Knowledge/Skills, Education, and Experience

  • Masters or Ph.D. degree in formal verification or a closely related field.
  • Experienced C++ software developer

Good to have

  • Experience with cloud computing on AWS/Azure/GPC
  • Familiarity with System Verilog and/or VHDL
  • Python programming experience
  • Experience with SVA or PSL property specification languages

Where permitted by applicable law, Siemens may require employees to be fully vaccinated against COVID-19 based on job requirements, and in accordance with an accommodation based on legally protected reasons


Organization: Digital Industries

Company: Siemens Industry Software Inc.

Experience Level: Experienced Professional

Job Type: Full-time

Equal Employment Opportunity Statement
Siemens is an Equal Opportunity and Affirmative Action Employer encouraging diversity in the workplace. All qualified applicants will receive consideration for employment without regard to their race, color, creed, religion, national origin, citizenship status, ancestry, sex, age, physical or mental disability unrelated to ability, marital status, family responsibilities, pregnancy, genetic information, sexual orientation, gender expression, gender identity, transgender, sex stereotyping, order of protection status, protected veteran or military status, or an unfavorable discharge from military service, and other categories protected by federal, state or local law.

EEO is the Law
Applicants and employees are protected under Federal law from discrimination. To learn more, Click here.

Pay Transparency Non-Discrimination Provision
Siemens follows Executive Order 11246, including the Pay Transparency Nondiscrimination Provision. To learn more, Click here.

California Privacy Notice
California residents have the right to receive additional notices about their personal information. To learn more, click here.

Can't find what you are looking for?

Let's stay connected

Can't find what you are looking for?