Post-Doctorant Formally Verified Alignements For Better Interactive Proof Assistants H/F à Nantes - 44, chez INRIA, pour un CDD, en temps plein, Télétravail partiel, 24 mois

Non precise