CPU Formal Verification Engineer
- 22 offres ouvertes
AMD recherche un ingénieur expérimenté en vérification formelle pour ses architectures CPU de nouvelle génération. Le poste consiste à concevoir et déployer des méthodologies de vérification, à résoudre les problèmes de convergence et à développer l’infrastructure associée. Une formation en génie informatique ou électrique ainsi qu’une maîtrise d’outils comme JasperGold ou VC Formal sont demandées.