Nicolas Vallée

Nicolas Vallée

Ingénieur en conception de systèmes de transports ferroviaires
 

En poste chez RATP

Précédents : ENSTA ParisTech, Ecole Polytechnique Fédérale de Lausanne

 

Précédents : Université Paris 7 Denis Diderot, Ecole Nationale Supérieure Des Techniques Avancées

 

    En résumé

    Diplômé d'un doctorat en informatique avec une spécialisation en méthodes formelles, j'ai ainsi pu compléter ma formation d'ingénieur généraliste, filière systèmes embarqués. Je souhaite désormais m'investir dans toutes les étapes de la conception, du développement et de la validation de systèmes critiques. Compétences en Modélisation et Validation de systèmes. Définition, déclinaison et raffinement de spécifications; Analyse et vérification formelle des systèmes; Sûreté de fonctionnement.

Parcours

 

Ingénieur Système

Chez RATP

De 2011 à aujourd'hui
Actuellement chargé d'études et de développement pour la conception de systèmes de transports ferroviaires au sein du département d'Ingénierie de la RATP. Ma mission principale est celle d'Ingénieur Système pour le projet de modernisation de la ligne 13 du Métro Parisien, grâce à un système de type ...
Lire la suite
 

Doctorant en Informatique

Chez ENSTA ParisTech

De 2007 à 2011
Intitulé de ma thèse Conception d’un outil de débogage formel pour les systèmes logiciels et matériels respectant l’approche « Debug as Design » Pour écourter la validation des systèmes, toutes les informations disponibles devraient être utilisées pour valider le plus tôt possible chaque aspect ...
Lire la suite
 

Stagiaire au Laboratoire de Programmation Distribuée

Chez Ecole Polytechnique Fédérale de Lausanne

2007
Lors de mon stage de 5 mois à l’Ecole Polytechnique Fédérale de Lausanne, sous la direction de Maxime Monod, j’ai été chargé de continuer le développement d’un profileur dynamique implanté dans KVM, la machine virtuelle pour Java 2 Micro Edition (J2ME). Tout d'abord, j'ai mis en place plusieurs ...
Lire la suite

Compétences

 
  • Methodes
  • Méthodes Formelles
  • Modélisation
  • Sureté
  • Sureté de fonctionnement
  • Validation

Langues parlées

 

Centres d'intérêt

 
  • Echecs
  • Présidence du club informatique de l'ENSTA ParisTech en 2005 et 2006
  • Tir à l'arc
  • rédacteur bénévole pour le site developpez.com