M2 2015-2016

Year 2015-2016

The goal of this Master program is to provide a wide choice of high quality courses in computer science ranging from the most theoretical aspects to applications. It is open to students having achieved a 4th year degree in Science (Master 1) who wish to deepen their understanding of Computer Science. The typical year starts with courses during the fall term, followed by several (24h, week long) winter schools, and achieved by a 20 weeks research internship. Courses and materials are provided in English to encourage foreign students to join our program. Academic tutoring is provided to every student for finding internships, choosing courses, and providing guidance all along the year.

  • List of courses (for full description follow the link CRxx):

CR01 Advanced Cryptographic Primitives, Damien Stehlé and Benoit Libert.

CR02 Resilient and Energy-Aware Scheduling Algorithms, Anne Benoit.

CR03 Network Algorithms for Molecular Biology, Marie-France Sagot.

CR04 Quantum Information and Computation, Pascal Degiovanni, Omar Fawzi and Natacha Portier.

CR05 Tilings: between Dynamical Systems and Computability, Nathalie Aubrun and
Mathieu Sablik.

CR06 Algorithmic Number Theory, Guillaume Hanrot.

CR07 Computer Science and Privacy, Benoit Libert and Frédéric Prost.

CR08 Arithmetic Circuit Complexity, Pascal Koiran and Natacha Portier.

CR09 Distributed Computing: Models and Challenges, Eddy Caron, Gilles Fedak, Christian Perez and Laurent Lefevre.

CR10 Program Analysis, Safety Program Verification, Laure Gonnord and David Monniaux.

CR11 Rule-based Modeling of Biochemical Systems, Russ Harmer.

CR12 Coinductive Methods in Computer Science, Filippo Bonchi, Daniel Hirschkoff and Damien Pous.

CR13 Implicit Computational Complexity, Patrick Baillot, Olivier Laurent.

CR14 Finite Automata in Number Theory, Boris Adamczewski.

CR15 Complex Networks, Christophe Crespelle and Marton Karsai.

CR16 Signal Processing and Networks, Pierre Borgnat, Jean-Christophe Pesquet and Nelly Pustelnik.

CR17 Probabilistic Methods, with Applications to Graphs, Louis Esperet and Stéphan Thomassé.

CR18 Advanced Compilers: Loop Transformations and High-Level Synthesis, Tomofumi Yuki and Christophe Alias.

CR19 Fundamental Algorithms in Real Algebraic Geometry, Mohab Safey El Din and Jean-Charles Faugère.

  1. Winter schools: ici
  • Pre-course meeting: A (mandatory) pre-course meeting is planned on September 11 at 9am, Amphi B. The general organisation of the year and a description of the courses will be provided.
  • Schedule: Courses start September 14. Autumn holidays are October 26-30, Winter holidays are December 21-31. Exams will be held on January 4-8 2016. The schedule will be released soon.
  • Validation: To obtain their degree, CS Master students must complete 60 credits including the internship (30 credits), three winter schools (2 credits each) and four courses (4 credits each) in the above list. A typical choice is 6 courses, 3 schools and the internship; the extra courses can be chosen either in the CS courses or in the other departments. To meet the quality requirements of our program, the course choices must be approved by the academic tutor and the head of the Master 2 program. Administrative registration is mandatory.
  • Complex System program.

    The “Complex Networks” M2 master program organised by IXXI/ENS Lyon provides an innovative training for students who are interested in the interdisciplinary research of complex networks and modeling of complex systems. This program maintains a balance between different disciplines by combining courses from the fields of biology, computer science, mathematics, physics and sociology. Students from all of these disciplines are welcome to participate; the student will follow both the ”Complex Networks” program and part of their own M2: Computer Science, Physics, Bioscience or Mathematics. Follow this link for further details.

Campagne ACE

Campagne d’emploi Département Informatique

Activité Complémentaire d’Enseignement

La campagne de candidature à une activité complémentaire d’enseignement (ACE) pour les doctorants est ouverte. Les étudiants commençant un doctorat ou demandant une bourse de thèse pour la rentrée universitaire 2014-2015 peuvent candidater. L’obtention de l’ACE sera alors conditionnée à l’obtention d’un contrat doctoral.

Calendrier. Les dossiers doivent être soumis avant le 22 août à midi dernier délai. Les dossiers soumis avant le 24 juin seront examinés dès début juillet.

La procédure se déroule entièrement en ligne sur le portail des études de l’ENS de Lyon. (Pour ceux qui n’ont pas encore de login ENS, les informations sont aussi disponibles dans la rubrique Actualités de la page Doctorat du site institutionnel)

Pour toute information sur les besoins en enseignement dans un département, contactez directement le directeur de département, pour tout problème avec la procédure de candidature, contactez nathalie.alazard@ens-lyon.fr

Poste de maître de conférences

Campagne d’emploi Département Informatique / Laboratoire LIP ENS de Lyon

Poste de maître de conférences 27ème section

Le DI et le LIP recrutent une, ou un, maître de conférences en informatique pour la rentrée universitaire 2014.
Le profil du poste est disponible ici.

Classement des candidats par le comité de sélection :
(ce classement ne sera définitif qu’après l’avis du conseil d’administration de l’ENS de Lyon)
1- Dagand Pierre-Evariste
2- Fawzi Omar
3- Huguenin Kevin
4- Tzameret Iddo
5- Cohen Cyril

Composition du comité de sélection : Anne Benoit, Pascal Bouvry (président), Hubert Comon, Arnaud Durand, Guillaume Hanrot, Sylvain Joubaud, Florence Maraninchi, Antoine Miné, Lucas Nussbaum, Natacha Portier, Damien Stehlé, Laurent Théry.

Contact enseignement : damien.stehle@ens-lyon.fr et stephan.thomasse@ens-lyon.fr
Contact recherche : guillaume.hanrot@ens-lyon.fr et gilles.villard@ens-lyon.fr

OLD – Stage de recherche M1, évaluation

Préambule: contactez D. Hirschkoff (ou votre tuteur) si vous avez des problèmes durant le stage, ou pour toute question.

Re-préambule : vous ne pouvez pas supposer qu’un(e) spécialiste du domaine où vous avez travaillé en stage relira votre rapport ou assistera à votre soutenance. Il faut donc que vous adaptiez votre rendu en conséquence. Cela ne signifie pas jeter toute la technique à la poubelle, mais il faut être capable de choisir les points techniques que vous souhaitez traiter, et de les amener. En règle générale, les étudiants de M1 ont plutôt tendance à vouloir mettre trop de technique, comme s’ils s’adressaient à leur encadrant de stage.

Rapport

Vous devez envoyer votre rapport à Daniel Hirschkoff au plus tard le 28 août 2018 à midi (heure de Lyon), par mail. 20 pages maximum, vous pouvez au besoin pointer vers une « annexe » en ligne (l’annexe peut être un fichier contenant des preuves, un fichier contenant tous vos résultats numériques, un article écrit avec vos encadrants, du code que vous avez produit..). Vous pouvez écrire en anglais, mais ne le faites que si votre niveau d’anglais rend cela possible. Il est souhaitable que votre encadrant valide votre rapport en le relisant (ce qui signifie l’écrire suffisamment en avance pour qu’il y ait le temps d’une relecture et de corrections).

Au sujet du contenu:

  • décanter / situer

sachez expliquer et motiver la question que vous avez étudiée: d’où vient-elle, pourquoi on se pose cette question, quel était l’état de la science au début de votre stage, quels sont les travaux existants pertinents.

  • présenter

si vous avez 10 résultats, ne les présentez pas tous de façon détaillée, faites un « travail éditorial » de sélection; si vous en n’avez aucun, racontez ce qui aurait pu marcher, quelles pistes ont été tentées.

  • commenter la démarche

vous êtes encouragés à raconter dans votre rapport comment se sont passées les choses: les pistes qui n’ont pas marché, des interactions/collaborations avec votre encadrant et d’autres chercheurs dans le cadre du stage, des initiatives que vous avez prises.

  • ne mettez pas les aspects expérimentaux sous le tapis: si vous avez codé quelque chose de non ridicule, ou utilisé des outils, parlez-en (taille du  code, outils/langages utilisés, utilisations futures escomptées, choix d’implémentation, etc.).

Présentation

Informations préliminaires: les soutenances auront lieu les 5 et 6 septembre 2018, à l’ENS Lyon, dans les salles B1 et B2. 20 minutes de soutenance, suivies de 5 minutes de questions. Le planning est disponible ici.

Faites au moins deux répétitions! On vous coupera la parole brutalement au bout du temps imparti, et c’est une catastrophe si à ce moment-là vous n’avez pas encore abordé la partie 3 de votre expose qui en comporte 5. C’est aussi catastrophique si vous terminez au bout de 8 minutes. Mettez-vous la pression, faire une présentation propre/claire n’est pas un exercice qui s’improvise, et c’est très différent d’une discussion scientifique à bâtons rompus. Pour ce qui est du contenu de la présentation, mêmes remarques que pour le rapport. Cela ne sert a rien de noyer l’auditoire sous des tonnes de détails techniques. Tâchez de faire comprendre la question que vous avez traitée, et votre contribution, de façon compréhensible pour un auditoire non spécialiste, tout en évitant de trop glisser sous le tapis les choses plus techniques.

Points organisationnels : ayez vos transparents au format pdf sur une clef usb, pour le cas où il y aurait les sempiternels problèmes techniques pour la projection.  Ayez de quoi projeter vos transparents (nous fournissons le vidéoprojecteur, pas la machine). Une bonne solution consiste à vous mettre d’accord entre étudiants qui présentent à la même session, afin de partager un ordinateur, que l’on connecte pendant la pause qui précède la session).

Vous pouvez sauf cas particulier assister à la présentation de vos camarades, à partir du moment où ceux-ci sont d’accord.

Vous pouvez présenter en français ou en anglais, mais ne soyez pas prétentieux, n’optez pour l’anglais que si votre niveau le permet.

Poste de professeur 27ème section

Campagne d’emploi Département Informatique / Laboratoire LIP ENS 2011

Poste de professeur 27ème section

Octobre 2010

Le DI et le LIP recrutent une, ou un, professeur en informatique pour la rentrée 2011.

Contact enseignement : eric.fleury@ens-lyon.fr
Contact recherche : gilles.villard@ens-lyon.fr

Recherche. La, ou le, professeur viendra conforter les activités de recherche du LIP dans le cadre du projet élaboré pour le quadriennal du laboratoire. Ce projet s’inscrit dans l’étude et l’anticipation du monde numérique futur et de ses fondements théoriques, dans l’optique d’inventer de nouveaux concepts et méthodes informatiques et de devancer leurs répercussions sur les autres sciences. Les recherches s’organisent selon deux axes complémentaires et transverses aux huit équipes :

  • modèles et méthodes en informatique mathématique ;
  • défis des futures architectures de calcul et de communication.

La machine (ordinateur, infrastructure), aussi bien entité abstraite qu’objet physique, est le centre des études. Depuis toujours au LIP les recherches s’étendent du fondamental au développement, ce qui est une source majeure d’invention. Les ouvertures du laboratoire, qui sont riches et traditionnelles vers les mathématiques, vont en outre vers les industries de communication et de semi-conducteurs, les sciences numériques, la modélisation et les sciences du vivant. La candidate ou le candidat se rapprochera d’une des équipes du laboratoire, et pourrait amener une nouvelle thématique, en harmonie avec celles du projet du laboratoire. Les candidates et candidats brillants de tous profils sont encouragés à candidater ; le choix final sera dicté en premier lieu par la qualité du dossier. Ce recrutement est très largement ouvert ; les candidatures externes françaises et étrangères seront privilégiées.

Enseignement. Le service d’enseignement s’effectuera au sein du Département Informatique de l’ENS de Lyon au sein de la licence (L3) et du master (M1 et M2) dans la spécialité Informatique Fondamentale. L’une des caractéristiques emblématiques reste que cette formation dispensée à l’ENS Lyon est résolument une formation par et pour la recherche en informatique. Cet engagement dans la formation à la recherche d’excellence se reflète dans l’organisation des enseignements. Les priorités du campus Mérieux amènent par ailleurs des enjeux et défis stratégiques importants autour de la complexité et de la modélisation, le Département Informatique de l’ENS de Lyon s’inscrit dans ce contexte local en soutenant des formations inter-disciplinaires.
On s’attachera à ce que les enseignements soient connexes au projet/thématique de recherche des candidats et se placent dans l’un des trois parcours de la spécialité informatique fondamentale / informatique mathématique ,  algorithmique,  modèles et optimisations pour les infrastructures émergentes  ou en lien avec le parcours  modélisation des systèmes complexes . La spécialité Informatique Fondamentale est une formation complète avec d’une part des enseignements donnant les bases des fondamentaux d’une solide culture généraliste en informatique et d’autre part des enseignements plus spécialisés offrant une réelle introduction à la recherche. Le parcours systèmes complexes s’appuie à la fois sur les masters d’informatique fondamentale, de mathématiques et de physique de l’ENS Lyon. Les capacités à apporter des compétences complémentaires de celles existant actuellement au sein du département d’informatique et à proposer la création de nouveaux enseignements seront particulièrement appréciées.
La, ou le, professeur recruté devra faire valoir des capacités de gestion d’organisation et prendre des responsabilités administratives dans la gestion du département Informatique de l’ENS de Lyon.

Rappel.  La procédure de recrutement en France inclut une étape préliminaire de qualification, qui doit être accomplie avant que le poste ne soit effectivement ouvert. Tous les candidats intéressés, même potentiellement, devraient commencer ce processus dès que possible. Voir la version anglaise de cette page pour les détails sur la procédure.

Réforme de l’agrégation

La réforme en cours du concours de l’agrégation pose de nombreuses questions et amène les ENS à reconsidérer les cursus de leurs élèves, notamment dans les filières de lettres et sciences humaines. A ce jour, et même si la situation doit encore évoluer, nous disposons déjà d’un certain nombre de réponses :

  • Reports de stage : Les reports de stage après la réussite à l’agrégation restent automatiques pour les élèves en scolarité dans une ENS, ainsi que pour les bénéficiaires d’un Contrat Doctoral.
  • Validation de l’agrégation dans le supérieur : cette validation restera possible à condition d’effectuer 128 heures d’enseignement réparties sur deux ans. Il est donc essentiel que les agrégés qui obtiennent un Contrat Doctoral puissent bénéficier d’une mission d’enseignement leur permettant de valider leur concours.
  • Session 2010 : année transitoire, c’est la dernière année où il est possible de s’inscrire à l’agrégation en étant titulaire d’un M1. A partir de la session 2011, un M2 validé sera requis pour s’inscrire au concours de l’agrégation.
  • Session 2011 : on risque de connaître une baisse des effectifs puisqu’il faudra désormais détenir un M2 pour s’inscrire à l’agrégation. L’ENS de Lyon affirme néanmoins sa volonté de maintenir l’ouverture de ses préparations à l’agrégation, tout en maintenant un degré de sélection suffisant pour en assurer le niveau.

Pour toute question sur l’option informatique, contactez le responsable de l’option.