Différences

Ci-dessous, les différences entre deux révisions de la page.

--- if-anciens [2021/07/06 14:24] – vpenelle
+++ if-anciens [2021/11/26 13:27] (Version actuelle) – vpenelle
@@ Ligne 5: / Ligne 5: @@
 ====Promo 2019-2021====
- * **Abderrhamane Faiz**:
+  * **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: 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**:
+  * **Sarah Larroze-Jardine**:
-   * 2021: stage au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/herbrete|Frédéric Herbreteau]] sur la combinaison d’algorithmes dynamiques pour la vérification d’automates temporisés.
+    * 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**:
+  * **Maxime Capdordy**:
-   * 2021: stage à l'entreprise [[https://anabasis-assets.com/|Anabasis]] sur un sujet autour des bases de données.
+    * 2021: stage à l'entreprise [[https://anabasis-assets.com/|Anabasis]] sur un sujet autour des bases de données.
- * **Zahra Carn**:
+  * **Zahra Carn**:
-   * 2021: stage au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/auber|David Auber]]
+    * 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**:
+  * **Sébastien Clauzel**:
- * **Theo De Castro Pinto**:
+  * **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.
+    * 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**:
+  * **Youva Gharout**:
-   * 2021: stage à [[https://www.thelio.fr/|Thélio]] sur le développement d’algorithmes distribués pour la gestion d’équipements.
+    * 2021: stage à [[https://www.thelio.fr/|Thélio]] sur le développement d’algorithmes distribués pour la gestion d’équipements.
- * **Adrien Maurin**:
+  * **Adrien Maurin**:
-   * 2021: stage à [[https://www.capgemini.com/fr-fr/|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: 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**:
+  * **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**:
+  * **Tom Pena**:
-   * 2021: stage au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/atanasa|Adrian Tanasa]].
+    * 2021: stage au [[https://www.labri.fr/|Labri]] avec [[https://www.labri.fr/perso/atanasa|Adrian Tanasa]].
 ====Promo 2018-2020====
@@ Ligne 44: / Ligne 50: @@
     * 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**:

Master Informatique - Université de Bordeaux

Outils pour utilisateurs

Outils du site

Différences

Outils de la page