-
VIX Technology
- Ingénieur Développement Logiciel
Besançon
2016 - maintenant
-
Vix Technology
- Ingénieur Test / Validation
Besançon
2012 - 2016
-
Altran
- Consultant Développement Logiciel
Vélizy-Villacoublay
2010 - 2012
Missions chez Parkéon et Nexity Lamy.
-
Laboratoire d'Informatique de l'Université de Franche Comté
- Ingénieur Développement Logiciel
2008 - 2010
Dans le cadre du projet VETESS (projet Pôle de compétitivité "Véhicule du Futur"), j'ai eu en charge le développement de modules permettant l'extension (exploratoire) d'outils de génération de tests aux systèmes embarqués véhicule modélisés en UML/SysML :
- Développement de plugins Eclipse pour l'export et la vérification de modèles UML/SysML réalisés à l'aide de l'atelier de modélisation TOPCASED,
- Développement d'un module d'adaptation de tests sur bancs TestInView / TestStand.
D'un point de vue technique :
- Développement Java (Eclipse / IntelliJ Idea),
- Tests unitaires (JUnit),
- Intégration continue et automatisation du processus de build (Hudson, Ant, Maven, Subversion).
-
INRIA
- Ingénieur / Post-doctorante
Le Chesnay
2007 - 2008
Ce post-doctorat a été réalisé à l'INRIA dans l'équipe VASY et dans le cadre du projet européen EC-MOAN. Mes missions étaient les suivantes :
- Conception d'algorithmes de résolution pour des systèmes d'équations booléennes,
- Conception d'algorithmes de réduction d'espace d'états,
J'ai eu en charge le développement en langage C de ces algorithmes et leurs expérimentations en environnement distribué.
-
Laboratoire d'Informatique de l'Université de Franche Comté
- Doctorante
2003 - 2006
J'ai réalisé un doctorat portant sur la thématique générale des méthodes formelles en informatique. Plus particulièrement, mes activités de recherche ont consisté à étudier / proposer des méthodes de développement incrémental pour des systèmes temporisés à composants. Des relations de simulations ont été définies, permettant de préserver certaines propriétés d'un composant lors de son intégration à un système ou avec d'autres composants.
J'ai également développé un prototype mettant en oeuvre ces relations. Le développement a été réalisé en Java et en C.
-
Universités de Franche-Comté et de Bourgogne
- Enseignante vacataire
2003 - 2010
En parallèle de mes différents postes en Université (doctorante, post-doctorante puis ingénieur développement), j'ai également dispensé des enseignements (cours / TD / TP) en Licence et Master Informatique :
- Initiation à Java,
- Bases de données,
- Langages Web,
- Test structurel / Test fonctionnel,
- Modélisation UML,
- Intégration continue,
- Méthode B.
