Parcourez les offres

Q

Contrat non précisé

Formal Verification Senior Engineer - Qualcomm, Cambridge, UK

Qualcomm Q Qualcomm Qualcomm conçoit des semi-conducteurs et des technologies de communication pour les appareils mobiles, l'automobile et les objets connectés. 26 offres disponibles Visiter qualcomm.com ↗

Contrat non précisé Royaume-Uni 07/09/2026

• Niveau : Senior
• Formation : Bac +3
• Formal Property Verification (FPV)
• DPV
• C2RTL

Q

• 26 offres ouvertes

Trouver un contact Postuler automatiquement · 1 crédit

Détails · Am I a fit

Qualcomm recrute un Senior Engineer en vérification formelle au sein de son équipe Engineering, dédié aux pipelines matériels graphiques 3D et aux GPU. Le poste implique la conception de plans de vérification FPV, de bancs de test fondés sur les assertions et l'utilisation d'outils formels tels que JasperGold et VC Formal.

A

Contrat non précisé

CPU Formal Verification Engineer

AMD A AMD AMD conçoit des processeurs, des circuits graphiques et des accélérateurs destinés aux ordinateurs, aux centres de données et aux systèmes embarqués. 22 offres disponibles Visiter amd.com ↗

Contrat non précisé Cambridge 07/09/2026

• Rythme : Temps plein
• Formation : Bac +3
• JasperGold
• VC Formal
• FPV

A

• 22 offres ouvertes

Trouver un contact Postuler automatiquement · 1 crédit

Détails · Am I a fit

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.