Diplomé en Septembre 2014 de l'ENSEIRB-MATMECA (INP Bordeaux) et de l'Université de Bordeaux je recherche un premier emploi d'ingénieur (de recherche) en informatique, spécialisé en vérification et méthodes formelles
Mes compétences :
Python Programming
MySQL
Java
HTML
C Programming Language
JQuery
XML
Sublime Text
Programmation Caml
PostgreSQL
Oracle
Microsoft Windows
Microsoft Access
Mac OS X
Lisp
Linux
Haskell
Emacs
Coq
CommonLISP
Cascading Style Sheets
AJAX
Symfony2
OCaml