Menu

Nicolas LEGRAND

Vélizy-Villacoublay

En résumé

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

Entreprises

  • Altran Sud-Ouest - Stagiaire

    Vélizy-Villacoublay 2014 - maintenant Développement d'un plugin Frama-C correspondant à un analyseur reliant les erreurs entre le code et le modèle, en s'appuyant sur une étude de l'existant.
  • Université de Liège - Stagiaire

    2014 - 2014 Étude des propriétés d'une représentation symbolique de polyèdres convexes.
  • Entreprise personnel - Auto-Entrepreneur

    2013 - maintenant Développement, maintenance et conception de modules web s'appuyant surle framework Symfony2.
  • TROBOALECOLE.COM - Stagiaire

    2013 - 2013 Développement, maintenance et conception de modules web s’appuyant sur le framework Symfony2.
  • SNCF INFRA - Stagiaire

    2012 - 2012 Conception d'une base de données Access.

Formations

Réseau

Annuaire des membres :