Formal verification engineer
KarnatakaMediaTek
...Experience with scripting languages. Knowledge of specific formal applications, abstraction techniques and proof convergence strategies. Responsibilities: Develop formal verification test plans to verify digital hardware designs. Work cross functionally with teams to analyze specifications and resolve bugs. Drive [...]
Category IT & Telecommunications