Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédenteDernière révisionLes deux révisions suivantes |
if-stages [2021/11/17 12:52] – vpenelle | if-stages [2022/01/05 17:00] – vpenelle |
---|
== Académiques == | == Académiques == |
| |
= Stage au CEA Saclay (avec possibilité de poursuite en thèse) = | == Stage au CEA Saclay (avec possibilité de poursuite en thèse) == |
| |
[[https://www.labri.fr/perso/vpenelle/stages-parcours/2022/2022-internships-cyber.pdf | Le sujet. ]] Code-level Cybersecurity & Program Analysis: Vulnerabilities, Verification, Reverse. Stage en vérification formelle, orienté vers l’analyse de binaires. Pour celles et ceux qui aiment la vérif. | [[https://www.labri.fr/perso/vpenelle/stages-parcours/2022/2022-internships-cyber.pdf | Le sujet. ]] Code-level Cybersecurity & Program Analysis: Vulnerabilities, Verification, Reverse. Stage en vérification formelle, orienté vers l’analyse de binaires. Pour celles et ceux qui aiment la vérif. |
| |
| == Stage(s) au LaBRI avec Loïc Paulevé (poursuite en thèse possible) == |
| |
| [[https://bnediction.github.io/#jobs | Les sujets sont ici.]] Stages sur les réseaux booléens, un modèle de calcul (proche des système d’additions de vecteurs mais avec des booléens) qui est utilisée en modélisation de systèmes biologiques. |
| |
| == Stage (puis thèse) à Reykjavik en théorie des graphes/algo distribuée == |
| |
| Je me permets de relayer cette proposition de doctorat a l'université de Reykjavik, sous la direction de Magnús Halldórsson, a transférer a vos étudiants. Avec une précision : les étudiants devant faire un stage de M2 avant de commencer un doctorat sont encouragés a postuler, il y a possibilité de rémunérer un stage de M2 a un niveau de salaire 80~100% équivalent au niveau annoncé pour le doctorat (qui est d'environ 2500€ brut / 1950€ net par mois. A noter que la vie est plus chère ici). |
| |
| Le profil recherché est étudiant.e ou jeune diplômé.e d'un M2 orienté recherche, avec des connaissances en algorithmes randomisés. Un bagage en théorie des graphes et/ou algorithmes distribués est un plus mais n'est pas nécessaire. Candidatures a envoyer a cette adresse (alexandren@ru.is). Ne pas hésiter a me contacter pour poser des questions, discuter informellement, se renseigner et savoir si le poste a été pourvu. |
| |
| == Eugène Asarin à l’IRIF (automates temporisés) == |
| |
| [[https://www.irif.fr/~asarin/#Master | Page personnelle d’Eugène Asarin]]. Il propose des stages sur les automates temporisés et les systèmes cyber-physique). Assez vérif (mais coté automates). |
| |
| == Julien Baste et Lætitia Jourdan (Complexité paramétrée) == |
| |
| [[https://www.labri.fr/perso/vpenelle/Sujet_master_pc_moo.pdf | Sujet du stage]]. Ce stage se veut une introduction à la complexité paramétrée, son adaptation à l’optimisation de plusieurs paramètres et son application au problème de vertex cover (via la conception d’un algorithme adapté). |
| Possibilité d’obtenir un financement de thèse en poursuite du stage. |
| [[https://www.iut-info.univ-lille.fr/~julien.baste/ | Page personnelle de Julien Baste]] |
| |
| |
[[if-stages-archives|Archives des années précédentes]] | [[if-stages-archives|Archives des années précédentes]] |