Aller au contenu

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

93 - Villetaneuse

Description du poste

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.

Détails de l'offre

Lieu

93 - Villetaneuse

Contrat

CDD - 12 Mois

Expérience

Débutant accepté

Publié

Offre initialement publiée sur France Travail. Voir l'annonce d'origine · Cette offre est la vôtre ?

Ingénierie

Lieu

93 - Villetaneuse

Contrat

CDD - 12 Mois

Expérience

Débutant accepté

Publié