2008 (2mois): Laboratoire d'Electronique Informatique à l'ENSTA :
Etude et conception d'un outil d'analyse de programmes visant à vérifier
la gestion mémoire de programmes systemC se basant sur la méthode
de vérification du model-checking.
2007 (2mois): Smiths Heimann :
Technicien de chargement informatique et test de lignes de détection.
2007 (1mois): Laboratoire d'Electronique Fondamentale à Orsay:
Réalisation d'une mini-station météo, étude et choix des capteurs,
réalisation de la carte électronique et programmation du microcontrôleur en C.
2006 (2mois): Projets pédagogiques :
Projet Informatique : Réalisation d'un programme en C permettant de
synthétiser les filtres analogiques à base d'amplificateurs opérationnels
(filtres actifs).
Projet Electronique : Réalisation d'un boîtier électronique permettant de
générer des signaux carré, triangulaire et sinusoïdal réglables en fréquence
et en amplitude à partir d'une tension d'alimentation continue.
2005 (2mois): MeadWestvaco Europe Engineering service R&D
Composition d'un noyau de système d'exploitation Windows XP Embedded.
2005 (2mois): Ranstad, intérimaire
Travail en équipe et à la chaine: déballage, étiquetage et emballage
|