中文 English

Siemens

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.

For more & updated details, hit “Apply for job”