Postdoc: Formal ML Algorithms in Lean (Bandits), Villeneuve-d'Ascq
Postdoc: Formal ML Algorithms in Lean (Bandits), Villeneuve-d'Ascq
-
Villeneuve-d'Ascq, France -
Publiée: il y a moins d’une semaine
-
Ajouter -
Partager
Description
Inria in Villeneuve-d'Ascq is seeking a Post-Doctoral Research Visit focused on formal proofs for machine learning applications. The role involves implementing algorithms in Lean and ensuring their theoretical guarantees while promoting collaborative contributions. Ideal candidates will hold a PhD or equivalent with proficiency in Lean and a solid grasp of probability theory. The position offers flexible working arrangements and a supportive environment for innovative research.
#J-18808-Ljbffr
#J-18808-Ljbffr
Informations clefs
-
Nom de l’entrepriseInria -
Titre de postePostdoc: Formal ML Algorithms in Lean (Bandits)
-
Signaler -
Bloquer l’annonce
Conseils de Sécurité
Veuillez signaler les annonces ou messages vous paraissant suspects.
Recherches afférentes
Informations supplémentaires sur l’annonce
Postdoc: Formal ML Algorithms in Lean (Bandits) est visible sur Locanto dans la catégorie Mons-en-Barœul Informatique, télécommunications.
Pour le moment, c’est la seule annonce dans cette catégorie pour Mons-en-Barœul.
Vous voulez en voir plus ? Alors élargissez votre recherche pour consulter les annonces dans les alentours de Mons-en-Barœul, comme par exemple Informatique, télécommunications à Loos, La Madeleine ou encore Lambersart. Il y a encore plus de petites annonces dans un rayon de 15 km pour cette catégorie. Cliquez ici pour consulter ces annonces.
