中文 English

Siemens

We are actively recruiting for an upbeat Formal Verification Technologist to join our team in Sweden on a permanent basis.

Join a world-class engineering team designing, developing, modifying, and implementing cutting edge tools. Must be proficient with C++ and have experience with formal methods, you will be responsible for the research and develop formal methods and efficient implementations for the verification of RTL functionality, supporting the Questa Formal product line.

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