Post-Doctoral Research Visit F - M Formal Proofs For Machine Learning H/F à Villeneuve-d'Ascq - 59, chez INRIA, pour un CDD, en temps plein, 12 mois

Non precise