- Épaule l’architecte du système sur la définition de l’architecture logiciel- rédaction de documents de conception préliminaire et détaillé de module en suivant la norme CEI 61508- relecture de document de conception, de sécurité et d’architecture- rédaction de normes de codage selon CEI 61508, Misra 2012 et applicable de Securite logiciel- développement en C90 pour RTOS QNX Neutrino- suivi de la conception du logiciel avec relecture de code et merge des pulls request

-Conception fonctionnel d'application, définition de l'architecture, -Workflow agile, définition du backlog, supervision des sprints, dayly meeting etc (du scrum revisité entre autres).-Estimation du coût en temps, des ressources -Organisation des entrées du backlog par ordre de priorité / difficulté-Suivi du développement pour effectuer la remontée des KPI, -Écriture des Use Cases techniques -Backup BA et CPF sur l’écriture des UCs fonctionnel et la gestion projet

- Définition d’architecture d’une station blanche- Développement de la station blanche- intégration des antivirus - automatisation de la génération de l’os - automatisation de sa gestion au cœur de confiance du réseau DSI Thalès- Développement du logiciel d’administration fonctionnant dans le cœur de confiance du réseau (seul logiciel apte à estampiller une version logiciel de la station blanche avec sa base antiviral du jour)

-Specification d'un git flow appliqué sur multiple projets de recherche

-Analyse de script KSH, code Pro C pour portage vers un design objet Java-Modélisation des bases Oracle Sql vers des modèles UML-Correction de bug et implémentation de nouvelles fonctionnalités-Ecriture de script shell pour automatiser les process (build, test et intégration)-Test, Intégration et déploiement en environnement de production- Suivi de l’application en production

-Responsable technique sur l’étude de la mise à jour logiciel d'un système complexe de réception et émission d'onde longue portée-Etude en amont de la faisabilité en forfait, estimation des ressources nécessaires et réalisation de sa planification.-Gestion, Planification, Gestion, Supervision, Configuration, Conception et Développement.- réalisation des cahiers de test d’intégration et de validation - re-specification du module de motion tracking pour être moins dépendant de l’api d’acquisition d’image de la carte vidéo- mode à jour du prototype en banc de test (matériel, système d’exploitation et logiciel)- déplacement sur le navire, étude de l’opérationnel pour préparation de sa mise à jour effective

-Recherche pour l'équipe R\&D et BU Système Complexe d'une solution légère documentée et simple de micro services-Spécification d'un système de déploiement de service open source ou internet avec Docker-Simplifier le processus de CI/CD à travers des les technologies Shell, Gogs, Jenkins, Drone etc.-Mise en place de plusieurs prototype basé sur une architecture de sous réseau derrière Bind 9 et un proxy NGinx

-Test, Vérification et Intégration de bibliothèque C réalisés sous Simulink pour un système complexe-Proposition d'un modèle d'échange de données de test entre les entrées/sorties MATLAB Simulink et le programme de test C++ pour tester les librairies C généré par MATLAB-Développement d'un programme de test et d'une architecture d'automatisation des tests d'entrées MATLAB sur la bibliothèque généré-Test de la bibliothèque sur un système temps réel embarqué avec les données d'entrée (~1000 - 1M de ligne de trajectoire de tir), récupération des résultats de calculs pour comparaison avec résultats Simulink -Conception et développement de module pour un système complexe multi-thread temps réel-Rédaction de document technique, relecture technique et test de module

A compiler plugin for Frama-C.Developing a plugin for Frama-C which aims to compile the C code (considering annotations ACSL) to LLVM IR.• Bench comparison with clang and robustness tests with csmith• Researches for opportunities to optimize LLVM IR code produced through the Frama-C’s analyzers• Injection of Frama-C’s analyzers results directly into LLVM IR within the limits of what is permissible and useful for LLVM.