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 - maintenantApplication 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
Courbevoie2014 - 2014Gennevilliers
Developed tools for generating secure Linux distribution with configured tools
