Yann Zimmermann

Ingénieur développement logiciels  (High Tech - Éditeur de logiciels)

Membre éclairé

 

Inscrit le 11 mars 2011

222 messages au total

759 points

Mon profil forum

Niveau d'études : BAC+8

Connectez-vous pour confirmer les compétences de azias.
Confirmé (je peux former les autres)
C/C++ Git Java Méthodes Formelles Qt
Intermédiaire (je suis autonome)
.Net Acceleo ADA ASP.NET MVC C# CMake Développement Web Eclipse Eclipse RCP HTML ITK Javascript jQuery LaTex Méthodes agiles MySQL OCaml Oracle PHP Prolog Scrum SOAP SWT/JFACE VHDL Visual Studio
Compétences linguistiques
Français, natifAnglais, niveau professionnelItalien, niveau scolaire
Depuis juillet 2014
Chef de projet

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

De mars 2011
à juillet 2014
Ingénieur d’étude et développement

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

De octobre 1999
à janvier 2012
Divers

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

De novembre 2002
à août 2006
Ingénieur R&D

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

2002 - 2006
Doctorat, développement de systèmes électroniques par la méthode B

Ecole doctorale IAEM Lorraine

1999 - 2002
Licence & Master informatique

UFR IM2AG - Grenoble

1997 - 1999
DEUG, Mathématiques

Faculté de Sciences - Université de Tours

Consultez la carte des membres de Developpez

Trouver tous les messages de azias

Trouver toutes les discussions ouvertes par azias

Activité sur la dernière année
MaiJuinJuilAoûtSeptOctNovDécJanFévMarsAvr
L                                                                                                           
M                                                                                                           
M                                                                                                         
J                                                                                                         
V                                                                                                         
S                                                                                                         
D                                                                                                           
Contacter le responsable de la rubrique Accueil

Partenaire : Hébergement Web