Menu

Benjamin AUPETIT

Paris

En résumé

Mes compétences :
Développement informatique
Agrégation de Sciences Industrielles de l'Ingénieur

Entreprises

  • Ministère de l'Education nationale - Professeur agrégé

    Paris 2017 - maintenant Enseignant en CPGE
  • IRT SystemX - Doctorant

    Palaiseau 2014 - 2017 Au sein d'un projet de recherche industriel (OpenAltaRica), dans le domaine de la sûreté de fonctionnement basée sur les modèles (MBSA) :
    - Spécification et développement d'outils logiciels innovants (C++) : simulateur stochastique et model-checker AltaRica 3.0 ;
    - Gestion du processus de développement logiciel : versionnement (git), automatisation de tâches (compilation, tests, ...) (Python, Bash) ;
    - Rédaction de rapports, documentations, démonstrations, documents de formation ;
    - Rédaction d'articles scientifiques et présentation en conférences ;
    - Formation d'utilisateurs, encadrement de stage.
  • LURPA, ENS Cachan - Stagiaire

    2014 - 2014 Stage de Master 2 de recherche, en sûreté de fonctionnement, avec le LURPA (ENS Cachan) et Airbus Group Innovations.
  • Ministère de l'Éducation nationale - Interrogateur et intervenant

    Paris 2013 - 2017 Interrogation orales, préparations aux épreuves orales, et formations technologiques en classes préparatoires aux grandes écoles (CPGE) PCSI/PSI et PT, en Sciences Industrielles de l'Ingénieur
  • CNS Conseil - Développeur

    2011 - 2013 Dans le cadre de la Junior-Entreprise de l'ENS Cachan, réalisation en équipe d'un logiciel d'optimisation et de prévision d'opérations logistiques pour le compte de Louis Dreyfus Armateurs :
    - Spécification du logiciel en accord avec les besoins du client;
    - Développement du logiciel (OCaml);
    - Rédaction de documentation et formation des utilisateurs.
  • Ecole Centrale de Paris - Enseignant vacataire

    2011 - 2017 Dans le cursus Ingénieur Centralien, enseignement de cours d'ingénierie des systèmes complexes et d'ingénierie de conception :
    - Animation de séances, encadrement de projets d'élèves;
    - Conception de sujets d'examens et de travaux dirigés;
    - Correction d'examens, jury de soutenance.
  • University of Auckland - Electronic and Computer Engineering - Honorary research assistant

    2011 - 2011 Stage de Master 1, 3 mois, au département ECE (Electronic and Computer Engineering) de l'université d'Auckland.
    Application d'un sujet de recherche du LURPA, vérification formelle des Systèmes à Evénements Discrets, en NCES et IEC 61499 (avec FBDK), sur des cas d'application.
  • Ecole Normale Supérieure de Cachan - Fonctionnaire

    2009 - 2014

Formations

  • Ecole Centrale De Paris

    Chatenay Malabry 2014 - maintenant PhD, Doctorat

    Sujet : Vérification probabiliste de propriétés de modèles AltaRica 3.0.
    Thèmes de recherche : Model-Based Safety Assessment (MBSA), model-checking, stochastic simulation, Monte-Carlo simulation, performances of algorithms and data structures.
  • Ecole Normale Supérieure De Cachan

    Cachan 2013 - 2014 Master 2 Recherche - Ingénierie des Système Complexes

    Mention Bien
  • Ecole Normale Supérieure De Cachan (Cachan)

    Cachan 2012 - 2013 Master Formation à l'Enseignement Supérieur

    Formation à l'enseignement supérieur en génie industriel, préparation au concours de l'Agrégation
  • Ecole Normale Supérieure De Cachan (Cachan)

    Cachan 2010 - 2012 Master MIS - INP
  • Ecole Normale Supérieure De Cachan (Cachan)

    Cachan 2009 - 2010 Licence SMTI
  • Lycée Jean Favard

    Gueret 2003 - 2006 Baccalauréat série S

Réseau

Annuaire des membres :