Yann Zimmermann

Société : Pollen Metrology

Chez un éditeur de logiciel de métrologie spécialisé dans l'analyse de nanomatériaux.

Développeur java et C++, encadrement équipe développement

- Plateforme basée Eclipse RCP
- Bibliothèques et exécutables C++
- Modèles de données UML
- Générateur interne UML vers C++
- Middleware json pour les communications interpocessus

Société : ClearBUS

Chez un opérateur postal numérique, transport dématérialisé de courrier
à valeur probante. Mes missions: Étude, développement, recette et mise en production
- Serveurs, client lourd et client léger
- Web-services SOAP
- Responsable du client léger
- Encadrement stagiaires
- Missions extérieures comme ingénieur de vérification méthode B

Société : Association A JEU EGAL

D'abord simple bénévole et puis de plus en plus impliqué. Mes missions principales: Responsable de la communication internet, refonte du site web, création d’un backoffice pour l'organisation des bénévoles
- Organisation de soirées hebdomadaires et d'événements annuels
- Administrateur de l’association
- Vice-président 2010-2011 du collectif CIGALE

Société : KeesDA/Safetronix

Secteur de l'EDA. En particulier utilisation des méthodes formelles pour le développement et la vérification de systèmes électroniques. Mes missions: Conception du processus de développement de systèmes corrects par construction par la méthode B

- Compilateurs des langages formels vers VHDL et SystemC au niveau RTL

- covérification méthode B/ACL2

- Spécification, suivi et validation de développements externalisés

- Développement d’IP pour les clients

Ecole doctorale IAEM Lorraine

UFR IM2AG - Grenoble

Faculté de Sciences - Université de Tours