États-Unis
Siemens
Astera Labs
Ingénieur logiciel senior – IA pour la conception RTL et la vérification formelle
États-Unis
San Jose, California, United States
Python
Traduction automatique. Consultez l’original.
À propos du poste
Astera Labs (NASDAQ : ALAB) fournit une infrastructure IA à l'échelle du rack grâce à des solutions de connectivité conçues à cet effet. En collaborant avec des hyperscalers et des partenaires de l'écosystème, Astera Labs permet aux organisations de libérer tout le potentiel de l'IA moderne. La plateforme de connectivité intelligente de Astera Labs intègre des technologies à base de semi-conducteurs CXL®, Ethernet, NVLink, PCIe® et UALink™ avec la suite logicielle COSMOS de l'entreprise pour unifier divers composants en systèmes cohérents et flexibles qui offrent une connectivité de montée en charge et d'extension de bout en bout. L'activité de solutions de connectivité personnalisées de l'entreprise complète son portefeuille basé sur des normes, permettant aux clients de déployer des architectures sur mesure pour répondre à leurs besoins d'infrastructure uniques. Découvrez-en plus sur asteralabs.com.
Ingénieur logiciel senior – IA pour la conception RTL et la vérification formelle
Rejoignez l'organisation AppliedAI de Astera Labs, où nous construisons l'infrastructure de connectivité qui alimente l'IA et les centres de données cloud. Notre équipe se situe à l'intersection de la conception numérique et analogique, de la vérification et des outils d'IA, s'attaquant à la complexité des produits semi-conducteurs de nouvelle génération au rythme exigé par notre industrie. Nous cherchons à développer et à déployer des agents pilotés par l'IA qui accélèrent les flux de travail de conception RTL et physique, d'analyse statique et de vérification formelle. Le candidat idéal combine une solide expérience en ASIC et en ingénierie logicielle avec une exposition pratique à la conception ou à la vérification numérique ou analogique, et est enthousiaste à l'idée d'appliquer les LLMs et les systèmes agentiques à des problèmes réels de conception de puces.
Vos missions
- Concevoir, développer et déployer des applications d'IA en utilisant les LLMs, des frameworks agentiques et des technologies connexes pour prendre en charge les flux de conception RTL, physique et analogique, de vérification statique/lint et de vérification formelle.
- Construire une infrastructure pour déployer des assistants d'ingénierie alimentés par LLM et des systèmes de dialogue multi-tours qui aident les concepteurs et les ingénieurs de vérification à déboguer plus rapidement et à atteindre une couverture plus tôt.
- Développer des solutions d'IA agentique pour des tâches telles que la vérification des règles et le linting RTL, l'optimisation RTL, le triage des bugs, la convergence des preuves formelles et l'analyse des rapports de vérification statique ; affiner et intégrer ces solutions aux flux CAD/EDA existants.
- Construire et maintenir des bases de données de conception et des tableaux de bord qui combinent la récupération agentique et déterministe pour faire ressortir les données d'ingénierie pertinentes et accélérer la clôture de la conception.
- Collaborer étroitement avec les équipes de conception RTL, DV, de vérification formelle et CAD/EDA pour comprendre les points de friction et les traduire en outils assistés par l'IA.
Qualifications de base
- Licence ou Master en génie électrique, informatique/génie informatique, ou expérience équivalente.
- 4-10 ans d'expérience dans l'industrie en ingénierie logicielle, avec une exposition directe à la conception RTL, à la vérification statique/lint ou aux méthodologies de vérification formelle.
- Maîtrise de Python pour le prototypage rapide, avec de solides bases en structures de données, algorithmes et pratiques d'ingénierie logicielle.
- Expérience avec les LLMs, y compris le réglage fin (fine-tuning), la construction de systèmes multi-agents, les pipelines RAG et les bases de données vectorielles.
- Solides compétences analytiques, de communication et interpersonnelles, avec une capacité démontrée à travailler efficacement dans un environnement de startup dynamique et interfonctionnel.
- Une approche proactive et autonome de la résolution de problèmes et une aisance à opérer dans l'ambiguïté.
Ce qui vous démarquera
- Une familiarité avec les langages de conception RTL (Verilog/SystemVerilog) et les outils de vérification formelle/statique (par exemple, JasperGold, VC Formal ou similaire) est fortement souhaitée.
- Expérience directe dans l'application de techniques d'IA/ML aux problèmes de flux EDA ou CAD.
- Maîtrise des pratiques modernes d'ingénierie logicielle, y compris le contrôle de version, les tests et le CI/CD.
- Expérience avec la vérification formelle de propriétés, la vérification basée sur des assertions (SVA) ou les outils de timing statique/lint.
- Un historique d'apprentissage dans des domaines disparates (IA/ML et conception matérielle) et de combinaison de ceux-ci en solutions d'ingénierie innovantes.
La fourchette salariale est $160,500 à $200,000 selon l'expérience, le niveau et les besoins de l'entreprise. Ce poste peut être éligible à une prime discrétionnaire, des incitations et des avantages sociaux.
Nous savons que la créativité et l'innovation se produisent plus souvent lorsque les équipes incluent des idées, des parcours et des expériences diversifiés, et nous encourageons activement toute personne possédant une expérience pertinente à postuler, y compris les personnes de couleur, les personnes LGBTQ+ et non binaires, les anciens combattants, les parents et les personnes en situation de handicap.
Plus d’opportunités avec un seul profil
Vous souhaitez accéder à plus de postes sans répéter tout le processus ? Créez votre profil pour être trouvé par les entreprises utilisant Nort.
Créer mon profil