Hakan METIN

En résumé

Entreprises

• LIP6 - Ingénieur d'étude

  2015 - maintenant Application des techniques de Bounded Model Checking (BMC), pour la vérification des procédés logiciels.
  (Code: Java)
  Ce poste est pourvu dans le cadre d’un projet européen.

• Thales Communications - Stagiaire

  Courbevoie 2014 - 2014 Gennevilliers
  Developed tools for generating secure Linux distribution with configured tools

• Thales Communications - Stagiaire

  Colombes 2014 - 2014 Prototypage d'un OS sécurisé

Formations

• Université Paris 6 Pierre Et Marie Curie Paris VI

  Paris 2012 - 2014

Réseau

• Imane RAHMOUN