Menu

Matthieu PETIT

Bourg-la-Reine

En résumé

Bonjour,

J'ai une formation en tant que chercheur en informatique. Lors de cette formation, j'ai acquis des expertises scientifiques : validation du logiciel, programmation par contraintes, traitement automatique du langage.

En termes de motivation, je suis principalement intéressé par des projets me permettant d’intervenir à différentes étapes de la création d’un logiciel. Je suis particulièrement intéressé par des réflexions sur l’architecture d’un logiciel (UML, design pattern) avant sa réalisation. J’aime aussi fournir des solutions innovantes à des problèmes scientifiques et algorithmiques. J'ai de plus certaines capacités à appréhender des programmes complexes afin de détecter certaines anomalies.

Pour finir, mon expérience de deux ans au Danemark me permet d’avoir une certaine aisance à travailler dans environnement international en anglais.

Je reste à votre disposition si vous désirez de plus amples information. Cordialement

Mes compétences :
Apprentissage Automatique
Automatique
Bio
Bio informatique
Informatique
Intelligence artificielle
Programmation
Programmation par contraintes
Test

Entreprises

  • Owi Technologies - Ingénieur Recherche et Développement

    Bourg-la-Reine 2011 - maintenant Editeur de logiciel : analyse automatique des écrits pour le traitement automatique des emails, documents,
    textes ...

    Réalisations :
    - Mise en place de différent processus de test (test de performance, TNR)
    - Mise en place de processus pour la gestion de source (SVN)
    - Rédaction de documents de spécification fonctionnelle détaillée

    Développements :
    - Mise en œuvre de nouvelles fonctionnalités dans le moteur sémantique (C++, mySQL)
    - Mise en œuvre de nouvelles fonctionnalités dans l’interface web de paramétrage (JAVA/J2EE)

  • Université de Roskilde - Post-Doc chercheur

    2008 - 2010 Etude et définition de nouveaux modèles probabilistes pour l’annotation automatique de séquences biologiques

    Coordinateur et principal développeur d’une plateforme facilitant la définition, collaboration et l’utilisation de modèles probabilistes pour la recherche de motifs génomiques (Java, Prolog et Shell) :
    - Co-développeur du noyau de la plateforme (analyse, design et implémentation)
    - Développement de différents modules pour l’extraction d’information issue de bases de données biologiques
    - En charge de la qualité (test unitaire, génération de documentation)

    Rédaction et présentation d’articles scientifiques

  • Université de Rennes 1 - Attaché temporaire à l'enseignement et la recherche

    2007 - 2008 Divers enseignements à des étudiants en Licence et Master en Informatique :
    - Test et Qualité Logiciel : test unitaire, d’intégration et système (Java et C)
    - Analyse et Design de Logiciel OO: UML, patron de Conception, OCL (Java)
    - Programmation par Contraintes, Problème d’Optimisation (Prolog)

  • INRIA de Rennes - Doctorant en Informatique

    2004 - 2007 Membre du projet GENETTA ayant pour objectif la génération automatique de cas de tests statistiques pour des programmes Java embarqués (projet soutenu à sa création par Alliance Qualité Logiciel, France Télécom R&D et Oberthur Card Systems) :

    Réalisations :

    Proposition d’une solution originale pour traiter un problème complexe de Test du Logiciel

    Développeur d’un prototype permettant la génération automatique de cas de tests unitaires pour des programmes Java (Java et Prolog) :
    - Développement de différents modules pour l’analyse automatique (lexical, syntaxique, de flot de contrôle) de programmes Java
    - Mise en œuvre d’algorithmes de résolution de problèmes combinatoires
    - Développement d’une librairie de contraintes de choix probabiliste (Prolog)

    Rédaction et présentation d’articles scientifiques

Formations

Réseau

Annuaire des membres :