Stage Développeuse / Développeur C++, Python H/F

Dans le cadre de la rationalisation d'un projet interne qui fait usage de différentes bibliothèques de calcul symbolique, nous souhaitons développer notre propre bibliothèque en C++ moderne. Cette bibliothèque devra permettre : * Construire un arbre fonctionnel à partir d'une chaîne de caractères. * Manipuler l'arbre fonctionnel d'une fonction. * Obtenir une représentation de l'arbre sous la forme d'expression (Textuelle standard, Textuelle LISP, Textuelle polonaise inverse, Latex). * Évaluer l'arbre fonctionnel de différentes manières : Parcours récursif de l'arbre fonctionnel pour les évaluations ponctuelles ; Évaluation via un automate à pile pour un grand nombre d'évaluations ; Compilation à la volée à l'intérieur de la LLVM. * Simplification de l'arbre fonctionnel pour améliorer les coûts d'évaluations en utilisant un moteur "style prolog" basé sur du pattern-matching à l'intérieur d'un arbre. Ce moteur devra pouvoir être facilement extensible et améliorable.