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: www.siemens.com/careers/digitalminds

Company: SISW - Siemens EDA

Job Title: Senior Software Engineer- Formal Verification- 235519

Job Category: Engineering

Job Description

• The candidate will be responsible for developing algorithms, techniques, and software for formal verification of hardware/software/solutions and will be part of the Calypto SLEC tool development team at Siemens EDA
• We are applying formal methods and engines to scale verification for modern era designs, starting from untimed system-level descriptions with DLS/AI frameworks through C++-based design flow. We invent and apply a broad range of algorithms to develop leading-edge formal engines in products that solve leading-edge customers' biggest challenges.
• The candidate will also interact with other product groups, such as C++/SystemC high-level synthesis and RTL power optimization, to identify and develop unique formal verification requirements that arise.

• Design, develop, modify, and implement software programming for products (both internal and external) with a focus on surpassing customer expectations, on achieving high quality and on-time delivery.
• Responsible for ensuring the overall functional quality of the released product on all required platforms and mechanisms.
• Ability to understand and debug complex products, solutions, and problems.
• Creates, documents, and executes software designs that may involve significant re-architecture of important systems, defining and coordinating the implementation of wide-reaching impacts.
• Development and integration of SAT/SMT Solvers/BDD

Qualifications:

The candidate will possess at least a Masters’ with 3 years of experience or Ph.D. in computer science, electrical engineering, or related fields, and have an understanding of or expertise in formal verification, particularly as it relates to hardware or hardware/software verification.

The candidate should also possess strong skills in algorithms and data structures, C/C++ programming, scripting languages (Tcl/Perl), and word-level and bit-level solvers, understanding, development, and integration of SAT/SMT Solvers/BDD.

#LI-KM1