Python állás, munka

• Writing and maintaining Python-based automated system and regression tests
• Expanding automated regression coverage and improving stability of test execution
• Evaluating daily automated test results and handling failures
• Owning and driving system-level testing activities within a Scrum team

Contribution to System IP microarchitecture specification and design Contribution to verification, modelling and debug using SystemVerilog, C and C++ Prototyping new methodologies to improve efficiency Ownership and development of verification plans and environments Collaboration with engineers...

Use of formal verification algorithms to formally prove correctness of complicated logic problems Identification of key behaviors for verification to write clear testplans for complex designs Implementation of testplans using innovative formal techniques Driving tools to realize their best...