Raphaël Gaudry

  • 2018 - ? : Ingénieur chez 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

Page professionnelle

  • 2018 - 2022 : Thèse au laboratoire de sûreté et de sécurité des logiciels du CEA de Saclay, avec 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 Frama-C.

  • 2022 - ? : Ingénieur chez Tweag, entreprise de consultants en Informatique spécialisés dans la “haute confiance” : application de techniques de programmations fonctionnelles et de méthodes formelles sur des logiciels au sein de clients. Je travaille aussi sur des projets internes contribuants à l’open-source, tels que des projets dans l’écosystème OCaml ou Haskell.