Ingénieur conception logicielle et ia pour l'ingénierie des exigences h/f

Au sein du département Ingénierie logicielle et système (DILS) du CEA-List, le laboratoire de recherche Exigences et conformité des systèmes (LECS) œuvre au développement et au transfert industriel de différentes technologies de modélisation et de formalisation pour l'expression et l'analyse des exigences, la conception et la vérification des systèmes et la conformité des processus.

Nous sommes une équipe de recherche à taille humaine (13 personnes) développant plusieurs thématiques en plein essor dans la domaine de la confiance numérique, avec des finalités concrètes.

Contexte:
Le développement de systèmes physique ou numériques est un processus complexe mêlant des défis techniques et humains. La première étape consiste à donner corps aux idées en rédigeant des spécifications ou un cahier des charges du système en devenir. Généralement écrits en langage naturel par des analystes fonctionnels (business analysts), ces documents sont des pièces maîtresses qui lient toutes les parties prenantes pendant toute la durée du projet et facilite le partage et la compréhension de ce qu’il faut faire. L’ingénierie des exigences propose diverses techniques (revues, modélisation, formalisation, etc.) pour réguler ce processus et améliorer la qualité (cohérence, complétude, etc.) des documents produits, dans le but de détecter et corriger les défauts avant même l’implémentation du système.

L’outil Maat RE développé au laboratoire vise à assister les parties prenantes de la spécification d’un système en proposant plusieurs services:

* Aide à l’élicitation: extraction de phrases engageantes à partir des documents en texte naturel, classification par thématiques et concepts, proposition d’exigences candidates, construction d’ontologies métier
* Aide à l’amélioration: propositions de réécriture selon des patrons spécifiques minimisant les risques d’ambiguité et d’incohérence, analyse de cohérence et de complétude, propositions de modélisation semi-formelle et formelle, analyse formelle de qualité.
* Aide la conformité: analyse de conformité entre un corpus d’exigences de référence (par exemple un cahier des charges) et un un corpus d’exigences candidates (par exemple une réponse à ce cachier descharges).
Basé sur les plus récents travaux de recherche, ces services reposent sur la combinaison de différentes techniques d’intelligence artificielle (IA) et d’autres techniques algorithmiques.
Notre ambition est d’élever la maturité technologique des services existants et d’enrichir notre prototype de nouvelles fonctionalités.

Dans le cadre de ce CDD, vous intégrerez l’équipe de développement de Maat IAT et contribuerez aux tâches suivantes :

* Définition de services en interaction avec des spécialistes de l’ingénierie système
* Analyse et mise-oeuvre de frameworks technologique
* Conception de différents modules logiciels
* Implémentation et vérification de différents modules logiciel