Advanced Research Position – Intelligence artificielle pour les mathématiques formelles : qualité, évaluation et traduction des preuves générées par les modèles de langage
inria
paris, France
Posted: 2026-10-20
💰 Estimated salary: € 35000 – € 50000 Based on similar mid-level others roles (gross annual)