Embedded software developer ai állások Budapesten (automatizálás)

The main objective of the project is to support the development of the SINAMICS frequency converter product lineup by providing a test automation hardware and software suite. We provide the means to learn the necessary project specific skills during training. •Operate and maintain fully automated...

Use formal verification algorithms to formally prove the correctness of complicated logic problems Identify key behaviors for verification to write clear testplans for complex designs Implement testplans using innovative formal techniques Drive tools to realize their best performance Develop flow...