Menu

Théo MERLE

ROMANS SUR ISÈRE

En résumé

Ingénieur et normalien en informatique. 1 an d'expériences cumulées en conception et développement logiciel et 2 ans en enseignement supérieur et recherche. Langages de programmation : Ada, Java, C/C++, Python. Adaptabilité, autonomie et analyse.

Mes compétences :
UML/OMT
JavaScript
Java
Python Programming
Objective CAML
Microsoft Office
Matlab
Intel Assembler
C++
Ada

Entreprises

  • Thales Avionics SAS - Analyse

    2014 - 2014 * Études de précision et certifications des implémentations ADA (mesures sur hardware dédié) ;
    * Proposition, implémentation et analyse d'améliorations

  • Groupe Bull - Concepteur & développeur

    Les Clayes-sous-Bois 2013 - 2013 * Analyse automatisée de documents
    * Développement Python (Framework Django)

  • Ensimag - Concepteur & développeur

    2013 - 2013 projet GeneTex (Reconnaissance d'écriture manuscrite)
    * Génération de code Latex ;
    * Conception UML de l'architecture par composants ;
    * Développement Java et débogage sur le réseau de neurones

  • Ensimag - Développeur

    2013 - 2013 projet Génie Logiciel (Compilateur pour un langage objet)
    * Analyse contextuelle et génération de code assembleur
    * Développement ADA et débogage
    * Utilisation de méthodes agiles
    * Expertise sur la théorie de la compilation

  • École centrale de Nantes et Université de Nantes - Encadrant de TD et TP (Vacataire)

    2009 - 2010 * 2 TP d'Algorithmique et Programmation (langage C)
    * TP de Méthodes logicielles (langage Java)
    * TD/TP d'Initiation à l'informatique pour étudiants en SVT (langage Javascript)

  • UNiversités de Nantes, Rennes et Berlin - Chargé de recherche

    2007 - 2010 De septembre 2009 à juillet 2010, École Centrale de Nantes, IRCCyN, équipe Méthodes formelles pour la bio-informatique
    ▪ Introduction de contraintes polynomiales sur les automates hybrides
    De février à juin 2009, Université de Rennes 1, IRISA, équipe Symbiose
    ▪ Comparaison de formalismes pour les réseaux de régulation de gènes
    De juin à août 2008, Université Libre de Berlin, Centre de recherche Matheon
    ▪ Stabilité des types de contraintes sur automates hybrides
    De juin à août 2007, Université de Nantes, LINA, équipe ComBi
    ▪ Démonstrations de propriétés sur une généralisation de chaînes de Markov

Formations

  • Ensimag

    St Martin D'Heres 2011 - 2015 Ingénieur

    Filière Ingénierie des Systèmes d'Information
    * Formation en architecture logicielle : Algorithmique distribuée, Ingénierie des modèles ; UML ..
    * Autres formations : Programmation Objet, Probabilités, Gestion de Projet, Méthodes Agiles..
    * Culture générale : Marketing, Économie Politique, Management..

  • Ecole Normale Supérieure

    Cachan 2006 - 2009 Normalien

    Antenne de Bretagne, Rennes, Département Informatique et télécommunication
    * Formation fondamentale en réseaux : Théorie des Files d'Attente, de l'Information, Algorithmique Pair-À-Pair ...
    * Autres formations : Algorithmique, Calculabilité, Logique, Apprentissage supervisé, Graphes..
    * Culture générale : Physique quantique, Optique, Antennes, Électronique haute et basse fréquences..

Réseau

Pas de contact professionnel

Annuaire des membres :