Samuel DEVULDER

En résumé

Entreprises

• Dassault Systemes - Ingénieur

  Vélizy-Villacoublay 2011 - maintenant

• GEENSOFT/GEENSYS - Ingénieur R&D

  2008 - 2011 Autosar Builder

• Ayrton-Technology - Ingénieur R&D

  2007 - 2007 Développement d'Autosar Builder (Automotive)

• TNI-VALIOSYS - Ingénieur R&D

  2005 - 2006 Développement de Safety Test Builder

• VALIOSYS - RESPONSABLE TECHNO DE VALIDATION

  1999 - 2004 Industrialisation de LPV

• AURA PHENIX - Ingénieur

  1998 - 1999 Incubation de la techno LPV

• CNRS URA 1526 - Thésard

  1995 - 1998 Reprise de la thèse dans un nouveau cadre.
  Participation à l'invention de la validation formelle par programme linéaire (LPV)

• HOLDING OPL S.A. - Thésard CIFRE

  1994 - 1994 Thèse: Validation formelle via les "Valuated orders of growth". La cessation de l'activité de l'entreprise en Oct. 1994 a stoppé la thèse.

Formations

• Université Caen Basse Normandie

  Caen 1994 - 1998

• Université Caen Basse Normandie

  Caen 1992 - 1993 DEA

• ENSICAEN

  Caen 1990 - 1993 Ingénieur

Réseau

• Cédric HAOUY

• Delphin LECUCQ

• Fabien AILLERIE

• Franck CORBIER

• Gilles FÉTIS

• Matthieu DEVULDER

• Michel HAGEGE

• Pascal BORNAT