Job

Deux stages d’informatique à l’Institut FEMTO-ST sur le site de Supmicrotech – ENSMM à Besançon.

Modalités : Durée : 4 mois. Indemnisation : 4,35 €/heure.

Contact : Michel LENCZNER (UTBM/FEMTO-ST) E-mail : [email protected]

Mots clés : OCaml, Algorithmes d’exploration d’erreurs, Apprentissage des mathématiques, Règles mathématiques, Tests

Contexte : EBOP (Exercise Based On Proofs) est une plateforme pédagogique innovante dédiée à l’apprentissage des mathématiques. Elle permet d’identifier avec précision les erreurs des élèves en analysant leurs raisonnements mathématiques étape par étape. Grâce à ses algorithmes avancés, EBOP propose un retour pédagogique détaillé et contextualisé, facilitant la compréhension et la correction des erreurs. Actuellement, le système est fonctionnel pour un nombre restreint de règles mathématiques, principalement axées sur les calculs algébriques élémentaires. L’objectif des stages est d’étendre cette base de règles pour couvrir une plus large gamme de concepts mathématiques, en lien avec le programme du lycée, tout en assurant la robustesse des algorithmes d’analyse et de détection des erreurs.

Objectifs des stages : Les stages consisteront à développer et intégrer de nouvelles règles mathématiques au sein du moteur OCaml de correction d’EBOP, en s’assurant qu’elles soient compatibles avec les méthodes d’analyse existantes. Il s’agira d’identifier les règles pertinentes à ajouter, de les formaliser pour qu’elles puissent être prises en charge par le système et de les implémenter en tenant compte des spécificités de l’architecture logicielle en place.

Une partie du travail portera sur la gestion des conflits entre règles. L’ajout de nouvelles capacités à un système d’analyse de raisonnement peut engendrer des interactions imprévues. Il sera donc nécessaire d’anticiper ces interactions et de concevoir des stratégies permettant d’éviter ou de résoudre les contradictions pouvant survenir.

Le bon fonctionnement des nouvelles règles sera ensuite vérifié à travers une phase de tests approfondis. Il s’agira d’élaborer des scénarios d’évaluation, de soumettre le système à différentes configurations de problèmes et d’analyser les résultats afin d’ajuster les paramètres de détection. Enfin, les stages impliqueront une phase de documentation et de transmission des connaissances. Un travail de rédaction technique sera nécessaire pour détailler les règles implémentées, leur fonctionnement et leur intégration dans le système global. Cette documentation servira de référence pour les futurs développements et les évolutions du projet.

Environnement technique : Ce travail s’effectuera principalement en OCaml, le langage utilisé pour le moteur de vérification et de détection des erreurs d’EBOP. Ce choix technique permet de structurer et d’analyser de manière rigoureuse des raisonnements mathématiques. En complément, l’architecture logicielle d’EBOP repose sur un backend en Python (Django) et une interface utilisateur en TypeScript (Angular), qui permettent de gérer l’interaction entre le moteur de vérification et les utilisateurs.

Déroulement des stages : Les stages débuteront par une phase d’analyse. Cette exploration permettra d’assurer une implémentation efficace et cohérente avec l’architecture d’EBOP. La phase d’implémentation sera suivie d’une phase de tests approfondis pour valider le bon fonctionnement des contributions, en utilisant des scénarios variés. Enfin, les stages incluront une phase de documentation afin d’assurer la traçabilité des développements et de faciliter les futures évolutions du système. Un transfert de connaissances sera réalisé pour intégrer ces améliorations dans l’environnement global d’EBOP.