Vos missions

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…)
• Evaluer l’arbre fonctionnel de différentes manières : Parcours récursif de l’arbre fonctionnel pour les évaluations ponctuelles ; Evaluation via un automate à pile pour un grand nombre d’évaluation ; 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.

Cette description n’est pas limitative. Elle peut tout à fait évoluer en fonction de votre expérience, des projets en cours et de vos attentes.

Description du profil :

Votre profil

• Vous préparez un bac+5 en informatique, génie logiciel ou équivalent
• Vous avez des bonnes connaissances en développement logiciel, en particulier en C++ ou Python
• Vous avez une appétence pour les mathématiques
• Vous avez une compréhension des concepts de développement Agile
• La maîtrise de l’anglais serait un plus

3 raisons de nous rejoindre :

Qualité de vie au travail : accord de télétravail en France et à l’international, accord sur l’égalité professionnelle, la parentalité, l’équilibre des temps et la mobilité durable.

Apprentissage en continu : certifications et formations en libre accès, accompagnement sur mesure avec votre people manager, parcours d’intégration sur 9 mois.

Avantages groupe & CSE : plan actionnariat, tarif préférentiels, remboursement partiel vacances, remboursement de votre abonnement sportif ou culturel.