Stages de recherche en informatique
à l'intention des élèves de l'École polytechnique (promotion X2009)

Presentation des stages: 8 Novembre 2011.
Transparents de la présentation du 8 Novembre 2011 (Olivier Bournez)

Responsable

Contact: Olivier Bournez

Présentation

L'option d'informatique couvre un très large domaine qui va des questions théoriques aux applications industrielles, mais toujours avec une composante scientifique ou technologique forte.

Les stages proposés, sont issus d'une demande large dans les meilleurs centres de recherche internationaux académiques et industriels. Ils permettent de prendre conscience que les développements innovants, en particulier dans le monde industriel, s'appuient sur un solide corpus de connaissances théoriques, et non sur l'utilisation routinière de logiciels commerciaux. Ils permettent également de prendre conscience de la complexité, sans précédent historique, des systèmes informatiques construits aujourd'hui. Ainsi derrière un banal processeur se cache toute la chaîne de production informatisée qui va de la conception modulaire jusqu'au dessin des masques, en passant par les algorithmes de preuve symbolique des circuits. De même, la complexité de l'écriture de logiciels devant s'exécuter simultanément et de façon coordonnée sur plusieurs dizaines de machines est d'une nature telle qu'il est impossible d'espérer un fonctionnement correct, sans une méthodologie systématique.

Les élèves décidés à faire une carrière dans la recherche y trouveront matière à confirmer leur vocation pour un domaine particulier et découvriront la vie des laboratoires. Les autres élèves pourront se familiariser avec le monde de la recherche et de l'innovation, que la quasi-totalité d'entre eux sera amené à cotoyer d'une manière ou d'une autre au cours de sa carrière. Ce stage sera aussi l'occasion, pour certains, d'opter pour une formation par la recherche, sanctionné un doctorat, qui est souvent le diplôme de référence dans l'industrie informatique mondiale.

Il est fortement conseillé d'avoir fait au moins un cours long d'informatique pour profiter pleinement des stages.

Le catalogue des propositions de stages reçues pour 2011-12 :

Catalogue des propositions (accès restreint au site de l'école)

Autres pistes:

Les rapports de stage des anciens:

X2008, X2007, X2006, X2005, X2004, X2003, X2002, X2001, X2000, X1999.
(figurent uniquement ceux enregistrés auprès de la bibliothèque)
La liste complète des stages de la promotion précédente se trouve plus bas.

Enseignants & Spécialités

Tous les enseignants du département, chacun dans sa spécialité, peuvent guider les élèves dans leur choix et les orienter vers les meilleures équipes. 

- Olivier Bournez (algorithmique, complexité, vérification) - bournez[at]lix.polytechnique.fr
- Luca Castelli-Aleardi (algorithmique, géométrie algorithmique, graphes) - amturing[at]lix.polytechnique.fr
- Julien Cervelle (algorithmique, modèles de calculs, complexité) - julien.cervelle[at]polytechnique.edu
- Philippe Chassignet (imagerie médicale) - chassign[at]lix.polytechnique.fr
- Thomas Clausen (réseaux) - clausen[at]lix.polytechnique.fr
- Albert Cohen (compilation, architecture) - Albert.Cohen[at]inria.fr
- Eric Goubault (informatique distribuée) - eric.goubault[at]cea.fr
- Philippe Jacquet (réseaux) - jacquet[at]lix.polytechnique.fr
- Renaud Keriven (vision, image) - keriven[at]imagine.enpc.fr
- Daniel Krob (algorithmique, théorie des automates, systèmes
industriels complexes) dk[at]lix.polytechnique.fr
- Stéphane Lengrand (preuve, méthodes formelles,
vérification) stephane.lengrand[at]lix.polytechnique.fr
- Léo Liberti (optimisation, recherche opérationnelle) - liberti[at]lix.polytechnique.fr
- Frédéric Magniez (algorithmique, complexité, quantique) - magniez[at]lri.fr
- David Monniaux (preuve, vérification, logique) - David.Monniaux[at]imag.fr
- Francois Morain (cryptologie, sécurité, arithmétique) - morain[at]lix.polytechnique.fr
- Frank Nielsen (image, vision) - nielsen[at]lix.polytechnique.fr
- François Pottier (langages à objets, sécurité) - francois.pottier[at]inria.fr
- Antoine Rauzy (vérification, logique, preuve, systèmes
industriels complexes) antoine.rauzy[at]lix.polytechnique.fr
- Dominique Rossin (algorithmique, combinatoire) - dominique.rossin[at]lix.polytechnique.fr>
- Bruno Salvy (calcul formel, analyse d'algorithmes, combinatoire) - bruno.salvy[at]inria.fr
- Gilles Schaeffer (algorithmique, combinatoire) -
schaeffe[at]lix.polytechnique.fr
- Benjamin Smith (cryptologie, sécurité,
aritmétique) - benjamin.smith[at]lix.polytechnique.fr
- Jean-Marc Steyaert (algorithmique, bio-informatique) - steyaert[at]lix.polytechnique.fr
- Olivier Temam (compilation, architecture) - temam[at]lri.fr
- Benjamin Werner (preuve, logique, sureté) - werner[at]lix.polytechnique.fr
Cependant la proposition de stage doit être validée, in fine, par le responsable Olivier Bournez,
Pour information:

La liste des stages de la promotion X2008