Stagiaire en vérification formelle

Imaginez ce que vous pourriez accomplir ici. Chez Apple, les nouvelles idées se transforment très rapidement en produits, services et expériences client extraordinaires. Apportez votre passion et votre dévouement à votre travail et vous ne pourrez imaginer tout ce que vous pourriez accomplir. Des personnes dynamiques et incroyables ainsi que des technologies inspirantes et innovantes sont la norme ici. Les personnes qui travaillent ici ont réinventé des secteurs entiers avec tous les produits matériels de Apple. La même passion pour l'innovation qui anime nos produits s'applique également à nos pratiques, renforçant notre engagement à laisser le monde meilleur que nous l'avons trouvé. Rejoignez-nous pour contribuer à la création du prochain produit révolutionnaire de Apple. Aimez-vous relever des défis que personne n'a encore résolus ? En tant que membre de notre groupe dynamique, vous aurez l'opportunité unique et enrichissante de concevoir les futurs produits qui raviront et inspireront chaque jour des millions de clients de Apple.

Dans ce rôle très exposé, vous serez au cœur d'un effort de vérification de conception de System-on-a-chip (SoC) en collaboration avec l'équipe de conception, avec un impact critique sur la mise à disposition rapide de produits fonctionnels de haute qualité et sans bug pour des millions de clients. Tout en travaillant sur la vérification formelle complète de blocs de conception uniques ou multiples et d'IP, vous collaborerez avec les membres de l'équipe pour :

Connaissance de la conception logique numérique et/ou des techniques de vérification formelle

La compréhension de la conception de CPU, des architectures de pipeline, de la mémoire, des contrôleurs DMA, du matériel d'exécution d'instructions spéculatives et dans le désordre, des interconnexions de bus et des mécanismes de cohérence de cache est un plus

Être capable d'interpréter les spécifications matérielles (en utilisant des langages basés sur des assertions de logique temporelle tels que SVA ou PSL) est un plus

La connaissance des outils formels EDA et une expérience dans le développement d'outils CAD est un plus

Maîtrise de tout langage de script tel que : TCL/PERL/etc. avec d'excellentes compétences en débogage

Solides compétences en résolution de problèmes et en relations interpersonnelles

Solides compétences en communication écrite et orale en anglais

Actuellement inscrit à un programme de licence, de master ou de doctorat en génie électronique, informatique, génie informatique, mathématiques / mathématiques appliquées ou dans un domaine connexe. Ce poste est un stage à temps plein et une disponibilité de 6 mois minimum est souhaitée.