Génération IA de Modèles Matériels Fonctionnels et Formels

Un institut de recherche recherche un candidat pour une thèse sur la génération assistée par intelligence artificielle de modèles matériels formels. Le candidat idéal doit avoir un Master en architecture des ordinateurs, un solide bagage en programmation (Python et C/C++), et un intérêt pour l'architecture matérielle et la vérification. Cette thèse est située à Paris-Saclay et commence en septembre 2026, visant à réduire l’effort de modélisation manuelle et à produire des modèles fonctionnels et formels corrects.

#J-18808-Ljbffr