Sur cette page, vous pourrez trouver des informations sur nos anciens élèves qui ont accepter de les partager. Cette page recense leur parcours après le master (et éventuellement leur formation initiale quand cela est pertinent) et donne éventuellement un lien vers leur page professionnelle. Le but est de donner un aperçu par l’exemple de ce à quoi mène le parcours et d’encourager les étudiants actuels à contacter les prédécesseurs dont le parcours les intéresse. 

Les adresses de contact n’apparaissent pas ici (pour éviter les spambots). [[vincent.penelle@u-bordeaux.fr|Contactez-moi]] si vous souhaitez les contacter. Certains disposent par ailleurs de page professionnelles listées ici, et vous pourrez sans doute y trouver leur adresse.

====Promo 2019-2021====

  * **Abderrhamane Faiz**:
    * 2021: stage à [[https://easymile.com/|EasyMile]], une entreprise à Toulouse, il s'agit d'un stage d'analyse statique d'une composante de véhicules autonomes
    * 2021-? : CDI à [[https://www.ausy.fr/fr | Ausy Toulouse]], en tant qu'ingénieur en méthodes formelles : analyses statiques du code pour la compagnie Airbus

  * **Sarah Larroze-Jardine**:
    * 2021-?: stage puis thèse au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/herbrete|Frédéric Herbreteau]] sur les méthodes de réduction d’ordre partiel pour la vérification d’automates temporisés.

  * **Maxime Capdordy**:
    * 2021: stage à l'entreprise [[https://anabasis-assets.com/|Anabasis]] sur un sujet autour des bases de données.

  * **Zahra Carn**:
    * 2021: stage au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/auber|David Auber]]
    * 2021-?: Ingénieure R&D en CDI chez [[https://atoptima.com|Atoptima]]. Atoptima crée des logiciels d'optimisation sur mesure, par exemple pour résoudre des problèmes de tournées de véhicules ou TSP (Travelling Salesperson). En ce moment, son travail consiste principalement à aider à la conception des modèles mathématiques et à la programmation du logiciel englobant. 
    * Note : Zahra est Australienne, et cela a compliqué sa recherche d’emploi (titre de séjour et non-réponses à certaines candidature). Si vous n’êtes pas de nationalité française et vous inquiétez à ce sujet, je peux vous mettre en rapport avec elle.

  * **Sébastien Clauzel**:

  * **Theo De Castro Pinto**:
    * 2021: stage à [[https://www.serma.com/|Serma]] en collaboration avec [[https://www.labri.fr/perso/rollet|Antoine Rollet]] et [[https://www.labri.fr/perso/sutre|Grégoire Sutre]] du LaBRI.
    * 2022-? : Thèse CIFRE au LaBRI avec [[https://www.labri.fr/perso/rollet|Antoine Rollet]] et [[https://www.labri.fr/perso/sutre|Grégoire Sutre]] et à [[https://www.serma.com/|Serma]]. Sujet : "Analyse automatisée de binaires appliquée aux vulnérabilités matérielles". Le but est de détecter de potentielles vulnérabilités dans des binaires compilés. Les vulnérabilités matérielles sont celles qui peuvent être induites par des attaques sur des composants physiques, grâce à des LASER par exemple (par un média physique de manière générale) durant l'exécution des programmes. Les applications sont très concrètes, notamment dans le domaine bancaire.

  * **Youva Gharout**:
    * 2021: stage à [[https://www.thelio.fr/|Thélio]] sur le développement d’algorithmes distribués pour la gestion d’équipements. 

  * **Adrien Maurin**:
    * 2021: stage à [[https://www.fr.sogeti.com/|Sogeti]] (une partie de Capgemini) sur Pessac dans la partie Testing. Sujet centré sur la compréhension de spécifications formelles et l'écriture de scripts de tests pour des sites web et android.
    * 2021-? : CDI dans cette même entreprise. Il s’occupe d'automatiser des tests, et ensuite de gérer des campagnes d'exécution et remonter des anomalies au client si il en trouve.

  * **Sarah Vita Paardekooper**:
    * 2022-?: Thèse à l’université de Montréal avec [[https://www.dawsoncollege.qc.ca/research/researchers/seamone-ben/|Ben Seamone]], dans le domaine de la théorie des jeux et des graphes (sujet exact pas encore précisé).

  * **Tom Pena**:
    * 2021: stage au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/atanasa|Adrian Tanasa]].

====Promo 2018-2020====

  * **Claire Hilaire**:
    * Stage, puis Thèse (2020 - ?) au LaBRI, dans l’équipe Combalgo, thème graphes et optimisation, sur la définition et recherche d’étiquetage minimal des sommets d’un graphe encodant une information sur le graphe.

  * **Arthur Jaquard**: [[https://www.irif.fr/~ajaquard/|Page professionnelle]]
    * Stage, puis Thèse (2020 - ?) avec [[https://www.irif.fr/~colcombe|Thomas Colcombet]] sur «Algèbre et langages réguliers, appliqués aux langages d’arbres infinis».

  * **Hugo Jaquard**: 
    * Stage 2020 : «Apprentissage de langages réguliers à partir d’exemples positifs» avec [[http://www-verimag.imag.fr/~bassetni/index.html|Nicolas Basset]] et [[http://www-verimag.imag.fr/~tdang/|Thao Dang]] à [[http://www-verimag.imag.fr/?lang=fr|Vérimag]] (Grenoble).
    * 2020-2021: Master 2 mathématiques [[https://www-fourier.ujf-grenoble.fr/m2r/|groupes et géométrie]] à Grenoble.
    * 2021-?: Thèse dans le pôle GAIA au [[http://www.gipsa-lab.grenoble-inp.fr/|GIPSA-lab]].

  * **Sophie Juppet**:
    * Stage 2020 : Stage au Labri.
    * 2020 - ? : Ingénieure Test chez [[https://www.atinternet.com/||AT Internet]]. Développement de tests automatisés. [[https://blog.atinternet.com/fr/le-job-de-testeur-logiciel-chez-at-internet/|Une page décrivant le métier]]

  * **Clément Romac**:
    * Stage 2020 à l’Inria Bordeaux dans l’équipe [[https://flowers.inria.fr/|FLOWERS]] sur l’apprentissage par renforcement.
    * 2020-2021: Ingénieur de recherche à l’Inria Bordeaux (même équipe).

  * **Claire Soyez-Martin**:
    * Stage 2020 dans [[https://www.cristal.univ-lille.fr/equipes/links/|l’équipe Links du laboratoire CRISTAL de l’université de Lille]] avec [[http://florent.capelli.me/|Florent Capelli]].
    * 2020- ? : Thèse avec [[https://www.paperman.name/|Charles Paperman]] et [[https://www.cristal.univ-lille.fr/profil/ssalvati/|Sylvain Salvatti]], dans la même équipe. Sujet : «Vectorisation d’automates».


====Promo 2017-2019====

  * **Louis Desmoulins**:
    * 2018-2019: Ingénieur Logiciel chez Rapita Systems Ltd, York, UK - Conception et Développement d'outil d'analyse statique (analyse syntactique) et dynamique (tests unitaires, tests de couvertures, pire cas d'exécutions) de code source.

  * **Fabien Jacques**:
    * 2019 - ? : Thèse au [[http://www.lirmm.fr/|LIRMM]] (Montpellier), dans l’équipe Algorithmes, Graphes et Combinatoire avec [[http://www.lirmm.fr/~montassier/|Mickaël Montassier]], [[http://www.lirmm.fr/~ochem/|Pascal Ochem]] et [[http://www.lirmm.fr/~pinlou/|Alexandre Pinlou]].

  * **Jonathan Narboni**: [[https://www.labri.fr/perso/jnarboni/|Page professionnelle]]
    * 2019 - ? : Thèse au LaBRI, dans l’équipe Combalgo, thème Graphes et Optimisations, avec [[https://www.labri.fr/perso/fkardos/|Frantisek Kardos]] et [[https://www.labri.fr/perso/esopena|Éric Sopena]].

  * **Nourredine Mouhoub**: [[https://www.labri.fr/perso/nmouhoub/|Page Professionnelle]]
    * 2019 - ? : Thèse au LaBRI, dans l’équipe Progress, avec [[https://www.labri.fr/perso/mlamali/|M. Lamine Lamali]] et [[https://www.labri.fr/perso/magoni/|Damien Magoni]].

====Promo 2016-2018====

  * **Raphaël Gaudry**:
    * 2018 - ? : Ingénieur chez [[https://www.systerel.fr/|Systerel]], PME spécialisée dans le logiciel critique et la sûreté de fonctionnement (e.g. pour avions, chemin de fer, etc.). «Le département dans lequel je me trouve peut particulièrement intéresser des étudiants dans des parcours proches d'IF, qui ont un aspect mathématique fort : un projet sur lequel j'ai travaillé impliquait un peu de géométrie et d'algorithmique des graphes. D'autres ont fait du SAT-solving, ou de la preuve de programme (par la "méthode B") par exemple. D'autres départements font de l'ingénierie avec moins de mathématiques, qui se concentre plus sur la complexité de grands systèmes matériels (exemple : automatisation d'une ligne de métro, adaptation de pilotes automatiques de trains).»

  * **Virgile Robles**: [[https://firobe.fr|Page professionelle]]
    * 2018 - ? : Thèse au [[http://www-list.cea.fr/recherche-technologique/programmes-de-recherche/systemes-embarques/validation-et-verification|laboratoire de sûreté et de sécurité des logiciels]] du CEA de Saclay, avec [[https://nikolai-kosmatov.eu/|Nikolaï Kosmatov]] sur la «spécification et vérification de propriétés de haut niveau pour les programmes C». La thèse vise à étendre le langage de spécification ACSL utilisé par [[https://www.frama-c.com|Frama-c]].