Digital Verification Engineer in Paris

Rencontrez Arago et les Aragoniens. Arago est une entreprise d'IA et de matériel informatique dont la mission est de faire avancer le cours de l'histoire. Nous le faisons en accélérant les percées à l'intersection de l'IA et des semi-conducteurs. Fondée en 2024 par des chercheurs en IA et des physiciens ayant une expertise approfondie en photonique, électronique, logiciel, mathématiques et apprentissage automatique, Arago réunit une équipe réduite d'ingénieurs et de scientifiques provenant des meilleures entreprises et laboratoires de recherche au monde. Composée de neuf nationalités et opérant depuis des hubs en France, en Amérique du Nord et en Israël, nous croyons en la grande science et aux réalisations rapides.

Notre travail est guidé par ces principes fondamentaux :

• Faites de grandes choses : nous livrons un travail dont nous sommes fiers.
• Haute vitesse : la rapidité compte. Nous avançons rapidement, étape par étape.
• Une unité : nous sommes tous ensemble dans cette aventure, avec des relations basées sur la confiance, le respect et la camaraderie.

Arago est soutenue par des dirigeants d'Apple, Arm, Nvidia, Microsoft et Hugging Face, ainsi que par des sociétés de capital-risque deeptech américaines et européennes et des fondateurs sortis.

Ce que vous ferez : Jouez un rôle essentiel dans l'assurance de l'intégrité fonctionnelle, de la performance et de la fiabilité des puces optiques de nouvelle génération.

Compétences et expérience requises :

• Bachelor, Master ou PhD en ingénierie électrique, ingénierie informatique ou domaine connexe.
• Fluence prouvée et expertise pratique en SystemVerilog pour la vérification.
• Expérience antérieure démontrée avec le cadre UVM et les environnements de vérification modernes.
• Connaissance directe des protocoles standards (AXI/AXIStream, APB/AHB, I2C, JTAG, PCIe) et expérience dans la vérification de la logique numérique pour des interfaces à haute vitesse.
• Expérience pratique dans la vérification des conceptions de CPU RISC-V ou architectures de processeurs numériques équivalentes dans un contexte ASIC.
• Compétences analytiques et de communication solides pour des projets axés sur le client et le travail d'équipe interdisciplinaire.
• Langue : anglais à un niveau compétent. Le français est un plus.

Responsabilités :

• Développer des plans de vérification robustes pour des conceptions de puces optiques numériques et mixtes complexes.
• Collaborer étroitement avec les architectes, les concepteurs et les clients pour comprendre les exigences logiques, les traduire en stratégies de vérification et fournir des retours clairs et exploitables tout au long du processus de développement.
• Effectuer des simulations au niveau du netlist avec annotation SDF pour une vérification précise du timing.
• Soutenir le démarrage FPGA/ASIC et la validation post-silicium si nécessaire.
• Développer, maintenir et optimiser des bancs d'essai et des composants de vérification en utilisant des fonctionnalités avancées de SystemVerilog, telles que les tests aléatoires contraints, les assertions et la modélisation au niveau des transactions, pour créer des environnements robustes axés sur la couverture.
• Concevoir des environnements et des composants UVM évolutifs et réutilisables (par exemple, agents, moniteurs, tableaux de scores) pour la vérification au niveau des blocs et des systèmes.
• Utiliser UVM pour atteindre l'automatisation des régressions, la fermeture de la couverture fonctionnelle et une efficacité élevée de détection des bogues.
• Développer et exécuter des stratégies de vérification pour des blocs numériques mettant en œuvre ou interfaçant avec PCI Express (PCIe).
• Appliquer des compétences de vérification de protocole, de validation de conformité, d'injection d'erreurs et de débogage pour les points de terminaison PCIe et les dispositifs racines complexes.
• Utiliser des analyseurs de protocole et des environnements de simulation pour valider la bonne mise en œuvre à travers toutes les couches de protocole.
• Participer à la vérification des cœurs CPU RISC-V et des sous-systèmes.
• Créer des plans de test ciblant les modules de processeur (ALU, décodeur, fichier de registre, logique de contrôle), avec des comparaisons de modèles de référence, des vérifications de signature et une couverture des scénarios de cas limites.
• Tirer parti de la vérification formelle et des suites de conformité pour une validation approfondie de la conception.
• Planifier et effectuer la vérification ASIC de bout en bout, des bancs d'essai au niveau des blocs à l'intégration complète de la puce.
• Exécuter des tests fonctionnels et de régression, une vérification formelle et une analyse de couverture.
• Déboguer et résoudre les problèmes de conception, garantissant la fiabilité avant silicium avant la fabrication.
• Participer à des revues de conception et à la validation des protocoles au niveau système avec des équipes interfonctionnelles.

Attributs souhaités :

• Proactif dans l'anticipation et l'atténuation des risques de conception, y compris l'évaluation des défauts non détectés via la vérification axée sur la couverture et formelle.
• Capacité prouvée à livrer dans des environnements de startup collaboratifs et dynamiques.
• Esprit d'appropriation, attention aux détails et engagement envers une qualité de produit élevée.

Rémunération et avantages :

• Rémunération compétitive, avec un package final basé sur la localisation, l'expérience et la rémunération des membres de l'équipe occupant des postes similaires.
• Plan d'options d'achat d'actions significatif proposé dès les premiers stades de l'entreprise (inclus dans la majorité des offres à temps plein).
• Prime de déménagement et couverture des frais de déménagement pour un déménagement dans un rayon de 20 minutes de l'emplacement de l'entreprise.
• Couverture santé (y compris des options adaptées aux familles), contributions à la retraite, soutien au développement professionnel et 25 jours de congés payés, en plus des jours fériés.
• Possession d'un domaine technique clé, avec des opportunités de croissance verticale et/ou horizontale significatives, basées sur la performance et la motivation individuelle.
• Remboursement de 50 % des frais d'abonnement aux transports publics.
• Un environnement dynamique, multiculturel (avec 10 nationalités) et dirigé par des ingénieurs.