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

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.