INF591 - Stage de recherche en science informatique (2022-2023)

Stages de recherche en Informatique

Les stages de recherche en informatique abordent un ensemble large et varié de questions, qui illustrent l'importance et la diversité des recherches contemporaines en informatique. Ces questions vont de problèmes théoriques auxquels les élèves apportent parfois des réponses innovantes 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 la plupart du temps sur un solide corpus de connaissances théoriques. 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 milliers 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ée à côtoyer 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ée par un doctorat, qui est souvent le diplôme de référence dans l'industrie informatique mondiale.

Il est fortement conseillé d'avoir suivi l'un des programmes d'approfondissement proposés par le département d'informatique pour profiter pleinement de son stage.

Niveau requis : M1 en informatique ou équivalent.


Modalités d'évaluation : Les élèves rédigent un mémoire de stage, qu'ils soutiennent devant un jury.

Langue du cours : Français

Credits ECTS : 20



Research Internships in Computer Science.

 
The research internships in computer science concern a various and rich set of questions, and illustrate the importance and the variety of today’s research topics in computer science. These questions go from theoretical problems to industrial applications, but always with a scientific or technological strong component.
 
The proposed internships come from a large set of proposals from the best academic and industrial research centers. They help to realize that innovating developments, in particular in the industrial world, are in most of the cases based on a strong corpus of theoretical knowledge. They also point out the complexity, of today’s computer systems. As an example, behind a simple processor is hidden all the computer-based chain of processes that go from the modular design up to the drawing of masks, including algorithms for symbolic proof of circuits. In a similar way, the complexity of the design of algorithms built to be executed on thousands of machines is of such a nature that this is not possible to hope for some correct behavior without some systematic methodology.
 
The students interested in a career related to research will find in these internships a way to confirm their vocation for a specific domain, and will discover the life of laboratories. The other students will become familiar with the world of research and innovation that most of them will meet in some way during their future career. These internships will also be for some of the students to choose a research oriented training, validated by a PhD, that is to say by the diploma considered as the reference in international computer science industry.
 
Niveau requis : M1 in computer science or equivalent.
Evaluation modalities: The students write a report,  defended in front of a jury.
 
Language of the course: English
 
ECTS Credits: 20