Chargement en cours

Ingénieur calculateur / Ingénieure calculatrice en industrie (H/F)

VILLETANEUSE, 93
il y a 13 jours
CDD
Mission :
  • La conception et l'implémentation d'algorithmes d'approximation pour le calcul d'explications formelles (abductives, contrastives, probabilistes), reposant sur l'analyse de Fourier des fonctions booléennes, l'optimisation combinatoire (sous-modularité,
matroïdes) et la programmation par contraintes
  • L'étude des propriétés structurelles (sous-modularité, supermodularité, courbure) des fonctions d'erreur considérées, en vue d'établir ou d'affiner les garanties d'approximation associées aux algorithmes développés.
Activités :
  • La conception et l'implémentation d'algorithmes d'approximation pour le calcul d'explications formelles (abductives, contrastives, probabilistes), reposant sur l'analyse de Fourier des fonctions booléennes, l'optimisation combinatoire (sous-modularité,
matroïdes) et la programmation par contraintes
  • L'étude des propriétés structurelles (sous-modularité, supermodularité, courbure) des fonctions d'erreur considérées, en vue d'établir ou d'affiner les garanties d'approximation associées aux algorithmes développés.
Plateforme de publication
France Travail
Soyez le premier à postuler aux nouvelles offres
Soyez le premier à postuler aux nouvelles offres
Créez gratuitement et simplement une alerte pour être averti de l’ajout de nouvelles offres correspondant à vos attentes.
* Champs obligatoires
Ex: boulanger, comptable ou infirmière
Alerte crée avec succès