-
Cibest
- Software Dev Manager
BESANCON
2017 - maintenant
Dans le cadre de plusieurs projets,
- Responsable Agile d'une équipe de développement logiciel (back office et front office).
- Scrum master agile de l'équipe hétérogène (Java JEE, Glasfiss, Androïd, REactJs, C, C++, C#)
- Analyse de spécifications fonctionnelles et préparation de backlog
- Identifier et gérer les risques fonctionnels et techniques
- Conduire les analyses techniques et fonctionnelles
- S'assurer de la complétude des fonctionnalités et la démontrer pour chaque itération
-
Université Bourgogne Franche-comté
- Enseignant Vacataire
2017 - maintenant
Depuis 2017, en parallèle de mon activité d'ingénieur logiciel,
Enseignant vacataire à l'Université de France Comté
Responsable du module en Master Informatique Avancée et Applications : "Théorie de la calculabilité et évaluation de programmes"
Ce module aborde les notions de calculabilité, de décidabilité en théorie informatique.
Les machines de Turing, les notions de complexité algorithmiques sont étudiées.
-
Cibest
- Ingénieur développement
BESANCON
2016 - 2017
Développement d'une solution billetique embarquée (vente, impression de tickets, écrans) dans un contexte international (Hollande, Belgique, Autriche, France).
- Développement Java (OSGI, JavaFX, Maven)
- Intégration continue (maven, Teamcity, gitlab)
- Livraison et déploiement
Technologies : (Java, OSGI, JavaFx)
-
CIBEST
- Project Manager on Software Engineering
BESANCON
2015 - 2016
Chef de projet agile et déploiement d'une solution de portique anti-fraude pour l'industrie du transport ferroviaire , (Scheidt&Bachmann, SNCF) dans un contexte international en France, Allemagne et en Slovaquie.
- Animation d'une équipe de 6 personnes,
- Gestions de la roadmap, du budget, pédagogie d'équipe dans un contexte d'équipe auto-apprenante.
- Architecte JEE et Mise en place d'une solution agile au sein de l'équipe.
- Livraison et déploiement sur site (Gare St Charles à Marseille) en collaboration avec les équipes hardware allemandes et Slovaques.
http://bfmbusiness.bfmtv.com/entreprise/la-sncf-inaugure-ses-premiers-portiques-anti-fraude-942547.html
https://www.youtube.com/watch?v=9VVW0imOXUI
Technologies : (Qt, Spring, C, C++, SQLLite, AngularJS, Jetty Server
-
CIBEST
- Formateur/Coaching
BESANCON
2015 - 2015
Formateur en Programmation orientée objet (Java)
Intervenant en tant que consultant en Préparation et Création de site internet Perfectionnement pour la CCI du Doubs à Belfort.
Formateur en
Word/Excel/ Access/PowerPoint
Word Avancé, Excel Avancé
-
Cibest
- Project Manager on Software Engineering
BESANCON
2013 - 2015
*) Chef de projet agile (Application Web JEE) dans le cadre d'une refonte complète d'une application web d'un système de carte fidélité pour des groupements de commerçants (Bootstraps Twitter, AngularJS, JEE, Spring, MySQL)
*) Développement d'un systèmes de géolocalisation et cartographies dans le cadre d'un projet lié à une problématique de l'internet des objets. (PHP, Javascript, Gmap, MySQL, ...)
*) Développement d'un logiciel de systèmes intégrés de gestion de bibliothèque (SIGB) pour l'entreprise Decalog dans un contexte de 'nearshoring agile'. ( Javascript, ExtJS, Spring, hibernate). Utilisation d'outils connexes Solr, pour les recherches textuelles, de méthodes d'authentifications SSO.
Veille technique sur différentes technologies et langages de programmation
-
Akka Technologies
- Ingénieur Genie Logiciel
Paris
2012 - 2013
Chef de projet sur une solution d'amélioration de la qualité logicielle et fonctionnelle, en se focalisation sur l'automatisation de l'exécution des tests fonctionnels.
Cette solution permet la validation fonctionnelles du cycle de vie de millions de transactions bancaires, de la "carte" à la "banque" en passant par un terminal de paiement et un serveur 'acquéreur'.
Cette solution permet également de tester la charge et la robustesse du système (sécurité, cryptographie, ...).
Elle est directement utilisé dans le processus d’intégration continue des équipes de développement. Et également dans le cas de certifications (par exemple, PCI DSS, PA DSS)
L'objectif est la réduction des coûts de validation, la réduction des cycles de développement, l'aide à la certification bancaire auprès de grands comptes.
Cette solution répond à un besoin méthodologique qui s'inspire du CMMI en proposant des pistes pour la création de référentiels d'exigences et de référentiels de tests, Elle défini clairement les rôles d'experts métier, d'automaticien des tests et de testeurs.
Elle se repose sur un développement logiciel regroupant des technologies telles que Kanest/Galitt, Concordion, Junit, testlink, maven, jenkins, mettant en rapport des plateformes logicielles, des serveurs de paiements (JEE), mais aussi des plateformes hardware (lecteur de carte bancaire) et des robots simulateurs.
Elle prends en compte des éléments du coeur de métier du monde bancaire, comme les protocoles de communication (CB2A, Equens, APACS, ...) mais aussi différents types de cartes bancaires (EMV, Monéo, cartes privatives pré-payées), ...
-
Akka Technologies
- Ingénieur génie logiciel
Paris
2009 - 2012
Participation au développement d'un serveur d'applications, gestionnaires de transaction bancaires internationales.
Maîtrise des risques et des problématiques liées à la sécurité inhérente du monde bancaire (cryptographie, sécurité W3F, Owasp).
Collaboration aux développements et aux déploiements de nouvelles applications bancaires dans un environnement JEE et mise en place d'un environnement sécurisé PCI-DSS., certifiée par les réseaux Master Card et Visa.
Mise en place d'un système de supervision par système de sondes JMX (Java Management Extensions), accessibles depuis le protocole réseau SNMP.
Prise en compte de plusieurs protocoles bancaires (CB2A, APACS, MONEO, ...) dépendant des pays concernés (France, Royaume-unis, Pologne, ...),
-
Smartesting
- Ingénieur Génie logiciel
Besançon
2006 - 2009
Dans la continuité des mes travaux de recherche durant ma thèse, j'ai participé à l'industrialisation d'une solution de génération automatique de tests fonctionnels.
Cette solution permet l'automatisation de la génération d'un référentiel de tests à partir d'un référentiel d'exigences exprimées en UML (Model Based Testing).
Cette solution logicielle permet de s'interfacer à des outils référents tel CaliberRM, QTP, HP Quality Center.
-
Leirios Technology
- Ingénieur de recherche
2004 - 2006
J'ai étudié/implanté un calculateur basé sur la théorie des ensembles en programmation logique avec contraintes (Prolog).
Ce calculateur est l'élément cœur de la solution de génération automatique de tests fonctionnels, industrialisé et commercialisé aujourd'hui par Smartesting.
Il permet de résoudre des systèmes de contraintes en limitant fortement l'explosion combinatoire à laquelle il est confronté.
-
CNRS - LIFC
- PHD Thesis - Symbolic Evaluation of Formal Specifications
2001 - 2004
Symbolic Evaluation of Formal Specifications
