Python developer á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...

Be involved in System IP microarchitecture specification and design Participate in SystemVerilog RTL verification and debug; formal bring-up of non-trivial IP blocks to achieve required quality levels (SystemVerilog/UVM, Formal, scripting) Work closely with engineers across design, performance...

• Ensure consistence of defined scope of test means with the testing strategy
• Derive test means requirements from test objectives
• Support / Drive test bench development and design
• Follow-up SUT (System under Test) development and validate delivery to the test facility

Be involved in the design process of SoCs by integrating the latest Arm IP products while ensuring correct functional behaviour. Develop RTL code using System Verilog. Run EDA tools to check the design and analyze results. Identify and fix bugs. Work directly with engineers across the company to...

Analysis of avionics system design/requirements requirements Develop executable test plans which address technical specification verification requirements Definition and adaptation of design requirements to mission data generation, incl. workflow definition Support tests evaluation of system...

• Leading engineering projects incl. team lead for vehicle power net testing & vehicle diagnostic
• Plan, execute, document, publish & present status & results to internal & external customers
• Use tools like CANalyzer, CANoe, and data loggers to collect and analyze system data