🚨 Attention aux étudiants en doctorat en herbe 🚨 Meta / FAIR recherche des candidats pour un doctorat académique/industriel conjoint ! Mots-clés : IA pour les mathématiques et le code. LLMs, RL, raisonnement formel et informel. Vous serez co-encadré par le professeur @Amaury_Hayat de l'école des ponts et moi-même. Vous aurez l'opportunité de collaborer avec l'excellente équipe FAIR codegen et d'autres doctorants FAIR à Paris, d'avoir accès à des infrastructures de pré- et post-formation à la pointe de la technologie, et à des quantités significatives de puissance de calcul. Un doctorat conjoint industrie / académique vous offre le meilleur des deux mondes : liberté académique, science ouverte & open source, une tonne de puissance de calcul, et des collègues talentueux travaillant en équipe. Les candidats idéaux doivent avoir de solides compétences en ingénierie et en expérimentation, de fortes compétences en mathématiques, et une bonne compréhension des fondements de l'IA et du RL. Nous voulons avancer rapidement, alors postulez dès que possible via le lien ci-dessous !