if-stages [Master Informatique - Université de Bordeaux]

Master Informatique - Université de Bordeaux

Outils pour utilisateurs

Outils du site

Vous êtes ici : start » if-stages
Piste :
if-stages

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
Dernière révisionLes deux révisions suivantes
if-stages [2021/11/17 12:44] – vpenelleif-stages [2022/01/05 17:00] – vpenelle
Ligne 37: Ligne 37:
  
 Dans tous les cas, n’hésitez pas à parler des offres que vous avez vues avec vos enseignants (on ne garantie pas d’être pertinents, mais on essaiera). Dans tous les cas, n’hésitez pas à parler des offres que vous avez vues avec vos enseignants (on ne garantie pas d’être pertinents, mais on essaiera).
 +
 +
 +=== Offres 2021-2022 reçues ===
 +
 +Suit une liste d’offres reçue pour l’année 2021-2022 (que je tenterai de tenir à jour, et qui concernera sans doute les stages en entreprises, mais pas que).
 +
 +== Académiques ==
 +
 +== 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.
 +
 +== 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]]
if-stages.txt · Dernière modification : 2022/01/21 13:16 de vpenelle

Outils de la page

Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki