Expert en conception de puces (conception et vérification RTL)

Présentation du poste

Mercor collabore avec un laboratoire d'IA de pointe sur des tâches de conception de puces, utilisées pour entraîner et évaluer des modèles d'IA. Nous recherchons des ingénieurs expérimentés en conception et vérification RTL pour examiner ces tâches.

Chaque tâche est un problème réaliste d'ingénierie matérielle, comme la conception ou la correction d'un bloc RTL, ou l'écriture d'un banc de test. Elle est livrée avec une spécification, des fichiers de départ, une solution de référence et des tests automatisés.

Ce que vous ferez

• Examiner chaque tâche de bout en bout : la spécification, les fichiers de départ, la solution de référence et les tests.
• Vérifier que la tâche est équitable et soluble : la solution de référence passe, et tout ce que les tests contrôlent peut être déduit de la spécification.
• Repérer les failles : spécifications ambiguës, tests qui laissent passer de mauvaises conceptions ou rejettent les bonnes, réponses divulguées, et tâches plus faciles qu'elles n'en ont l'air.
• Juger si chaque tâche est assez difficile pour mettre à l'épreuve les meilleurs modèles d'IA actuels.
• Rédiger des retours clairs et précis ainsi que des corrections suggérées, et contribuer à imaginer de nouvelles idées de tâches.

Profil recherché

• 5 ans d'expérience pratique minimum en conception ou vérification RTL dans l'industrie (semi-conducteurs, FPGA, EDA ou domaine similaire).
• Solides compétences en Verilog / SystemVerilog, et expérience de la simulation et des bancs de test.
• Capacité à lire et à raisonner sur du code de test Python.
• Un relecteur minutieux et sceptique, capable d'expliquer par écrit pourquoi une tâche est défectueuse ou trop facile.

Atout appréciable : l'expérience des outils EDA open source (par ex. Icarus Verilog, Verilator, Yosys, cocotb), de la vérification formelle ou de la relecture de benchmarks pour modèles d'IA.

Détails

• À distance et en horaires flexibles, environ 15, 20 heures par semaine.
• 100 $ de l'heure.
• Démarrage immédiat.