-
Nokia
- Ingénieur intégration, tests, et validation 5G - R&D
Nozay
2019 - maintenant
Analyse des spécifications Layer1 pour le réseaux de télécommunication 5G (canaux physiques, synchronisation...)
Définition, spécification, analyse des tests du software Layer1, Bancs de tests CPRI
Automatisation (Python, Shell Bash Linux, Jenkins), campagne de non régression, rapport de tests
-
Thales SIX GTS
- Ingénieur Intégration Validation Logiciel (IVL) - R&D
Colombes
2018 - 2018
Dans le contexte du développement de systèmes embarqués pour le chiffrage/déchiffrage de données au sein de radio logicielles : définition des plans de tests, spécification/écriture des tests, déroulement des campagnes (Python/Jenkins), non-regression, identification des défauts, rapport de tests
-
Telit RF Technologies - groupe italien Telit Communications spa
- Ingénieur Logiciel R&D Vérification
2015 - 2018
Développement, vérification, automatisation de tests de logiciels embarqués Java/C temps réel pour l’automobile, et l'Internet des objets.
-
IRT b < > com
- Ingénieur de Recherche
2014 - 2015
Ingénieur R&D à l'Institut de Recherche Technologique (IRT) B-Com. Responsable de projet sur l'authentification de documents papiers fondé sur l’analyse d’images. Conception de solutions innovantes, encadrement de stagiaires : traitement des images, OpenCV, OCR, C/C++, librairies Intel IPP/TBB, obfuscation logicielle.
-
INRIA
- Ingénieur R&D
Le Chesnay
2011 - 2014
Equipe ACES
Ingénieur R&D de l’INRIA, équipe ACES. Membre du comité de pilotage du projet BinThatThink en partenariat avec Veolia Propreté. Responsable, et coordinateur des spécifications/développements d'applications mobiles (JAVA, Android utilisant les API WiFi, GPS, et NFC) pour la lecture de composants RFID/NFC pour développer une nouvelle méthode de tri sélectif.
Vidéo de de démonstration : https://www.youtube.com/watch?v=daac0tFig34
-
INRIA
- Ingénieur R&D
Le Chesnay
2009 - 2011
Equipe ESPRESSO
Dans le cadre des projets européens CESAR et OPEES en partenariat avec Airbus, réalisation d'un framework de développement des systèmes embarquées permettant une approche multi-formalismes (AADL, Simulink, etc.) distinguant l’aspect architecture matériel, et l’aspect logiciel. Les méthodes utilisées sont issues de l’ingénierie des modèles : méta-modélisation, transformation de modèles.
-
INSA de Rennes
- Enseignant
2008 - 2009
Enseignements :
Algorithmique,
Programmation fonctionnelle,
Programmation Objet (JAVA),
Programmation par contraintes.
-
INRIA
- Ingénieur R&D
Le Chesnay
2005 - 2006
Pilotage/Réalisation d’un outil complet, intégré et open source (licence GPL) pour la vérification de protocoles cryptographiques. Les protocoles visés sont des protocoles de commerce électronique et de diffusion de contenu vidéo numérique. Ce travail est réalisé en collaboration avec France Télécom R&D, Thomson R&D, et en lien avec la communauté du projet européen AVISPA.
Téléchargement : http://www.irisa.fr/celtique/genet/span/
-
Télécom Bretagne
- Ingénieur de recherche
Brest Cedex 3
2004 - 2005
Participation au développement de MotorBac (Licence GPL) : une application de modélisation et de validation de politique de sécurité.
Enseignant dans le domaine de la sécurité, Linux, les systèmes de bases de données.
-
GREYC
- Stage de Master II
2004 - 2004
Stage effectué au GREYC(Groupe de Recherche en Informatique, Image et Instrumentation de Caen).
Domaine de l’optimisation sous contraintes.
-
Laboratoire Cotral
- Stage de Maîtrise
2003 - 2003
Conception du site internet de l'entreprise Cotral.
