Design verification engineer method development all genders full time permanent állás, munka

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

• Development of tests for safety and mission critical software in the field of helicopter avionics
• Analysis and debugging of software in context of test operations
• Implementation of automated scenarios
• Carrying out formal software acceptance tests including reviews and documentations

• verify mixed-signal designs on block and system level resting upon formal and functional verification
• interpret product requirements to create the verification concept and the product verification specification
• perform random-constraint testbenches according to the state of the art