Menu

Samuel DEVULDER

Vélizy-Villacoublay

En résumé

Mes compétences :
Java
Perl
Simulink
Pascal
C
AUTOSAR
Python
MATLAB
Prolog
Eclipse
Langage assembleur 6809/680x0

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

Réseau

Annuaire des membres :