Analytical állások XI. kerületben (automatizálás)

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...

Implement and support VB.NET based software solutions as part of the run and maintain team End-to-end MES project implementations including solution analysis (assessment, requirements, process design, solution design) and solution implementation (configuration, development, testing)...