Menu

Hakan METIN

LIVRY GARGAN

En résumé

Mes compétences :
Java
C
Algorithmie
Multithreading
Développement iOS
Linux
IOS
Perl Programming
Emacs
C++
C Programming Language
Android

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

Réseau

Annuaire des membres :