中文 English

Siemens

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.

For additional details and most recent updates, hit “Apply for job”