INTEGRATION D'ASSISTANTS IA A ATELIER B F/H Recruteur partenaire

Objectif du stage : Atelier B est l'environnement logiciel de référence développé par CLEARSY pour l'industrie de la sûreté : il couvre l'ensemble du cycle de développement formel en méthode B, de l'éditeur de composants jusqu'à la preuve, en particulier via son prouveur interactif. L'essor des modèles de langage ouvre de nouvelles perspectives pour assister les ingénieurs : suggestion de pas de preuve, génération et reformulation de modèles B, explication des obligations de preuve, aide à la correction des erreurs de typage ou de syntaxe.

Le stage vise à permettre à à des assistants IA d'avoir accès à l'interface graphique de l'Atelier B (modèles de langage locaux ou distants), afin de connecter aussi bien l'éditeur de code B que le prouveur interactif. Le travail s'organise en deux parties.

1. Extraction de l'interface graphique en projet autoporté :

• Cartographier les dépendances entre l'interface graphique et le cœur d'Atelier B (moteurs de preuve, gestionnaire de projets, type checker), sachant que le code actuel de l'interface graphique est déjà largement autonome.
• Procéder à la séparation du code de l'interface pour en faire un projet de développement logiciel indépendant.
• Industrialiser ce nouveau projet : système de construction, intégration continue et publication sous licence GPL-3.0.

2. Extension de l'interface avec des connecteurs IA :

• Concevoir une architecture de connecteurs génériques vers des assistants IA (API de modèles de langage, exécution locale ou distante), avec abonnement, configuration et journalisation.
• Développer les fonctions côté éditeur : complétion et génération de code B, reformulation et documentation de composants, explication des diagnostics.
• Développer les fonctions côté prouveur interactif : suggestion de commandes de preuve, explication des échecs, génération de lemme, génération de règle de preuve.
• Évaluer la pertinence et la fiabilité des réponses sur des projets B représentatifs, et la compatibilité de l'approche avec un usage industriel sur systèmes critiques.
• Documenter l'architecture, publier les travaux (open source) et rédiger le rapport de stage.

Livrables attendus :

• Un projet logiciel dédié à l'interface graphique d'Atelier B, modernisée, corrigée et épurée
• Une nouvelle version de l'interface graphique avec possibilité de configurer des assistants intelligents à l'édition et à la preuve interactive.

Profil et compétences recherchées :

Étudiant(e) en 3ᵉ année d'école d'ingénieurs ou en master informatique. Solides bases en génie logiciel (architecture, découplage, API), maîtrise de C++ (ou équivalent) et intérêt pour les interfaces homme-machine et l'expérience utilisateur.

Curiosité pour les modèles de langage et leurs intégrations ; notions de méthodes formelles appréciées. Goût pour le développement open source.

Ce Que Nous Vous Proposons

• Rejoindre une PME de 150 personnes réparties sur 4 sites : AIX, LYON, PARIS, STRASBOURG, pour laquelle les valeurs humaines sont très importantes.
• Une montée en compétences via : des formations multiples, un encadrement par des experts, un travail collaboratif et un mentor pour les moins expérimentés et les changements d'activités
• Des opportunités nombreuses : les expériences se complètent et se diversifient en fonctions des projets et des envies : développement, conception, validation, architecture, organisation
• Les postes à CLEARSY sont évolutifs et polyvalents : chef de projet, responsable technique, développement, propositions commerciales, présentations, participation à une offre technique, financière et produit, formateur, participation à des conférences et salons métier ?
• Un accord incluant du télétravail si souhaité
• Des avantages intéressants : une très bonne mutuelle, des activités fréquentes organisées par les collaborateurs et soutenues par le CSE, des tickets restaurants, un vrai accord de participation (1/4 des bénéfices reversés aux collaborateurs), une prime de vacances et des primes de cooptation
• Organisation de soirées (food trucks), escape games, after works, potager collaborative, pétanque, billiard, cours de yoga, squash ?
• Intégrer CLEARSY c'est rejoindre une communauté de spécialistes dans laquelle les compétences professionnelles sont reconnues et enrichies ; dans laquelle l'inventivité, l'autonomie et le sens du collectif sont des qualités appréciées
• Les règles, et la hiérarchie ne sont pas de mise à CLEARSY, afin de rester agiles et de se concentrer sur la réussite technique des projets. Cette citation reflète bien nos valeurs : Steve Jobs ? Cela n'a pas de sens d'embaucher des gens intelligents et de leur dire quoi faire ; nous embauchons des gens intelligents pour qu'ils nous disent ce qu'il faut faire

Des projets qui ont du sens

A la différence d'une ESN, l'immense majorité des travaux de CLEARSY sont réalisés au forfait dans les locaux : nos clients nous confient la réalisation de l'ensemble d'un projet en complète autonomie (technique et organisationnelle), avec un engagement de résultat.

Vous cherchez une entreprise innovante dans un secteur porteur d'avenir ? Nos clients sont les acteurs majeurs du monde de la mobilité verte et de l'énergie.

Les valeurs humaines de CLEARSY sont très importantes. Les règles, et la hiérarchie ne sont pas de mise à CLEARSY, afin de rester agiles et de se concentrer sur la réussite technique des projets.