Stages

Page du cours

Stages :

  • n’importe où

  • le SRI s’occupe des visas pour l’étranger / bourses/ compléments

    • indemnités pour les fonctionnaires-stagiaires, paye pour les étudiants
  • Pour l’étranger : voir avec le département d’info
  • stage : en province OU à l’étranger (simple : sans visa)

  • déposer notre CV + lettre de motivation à envoyer à notre maître de stage potentiel

    • à faire, si non fait

  • Planning :

    • Lundi 27/02 : 16h45 à 18h45
    • Lundi 16/03 : 16h45 à 18h45

  • Stages pressentis :

    • idée d’un sujet et/ou d’un pays et/ou d’un labo :

    • si on y arrive / on y arrive pas : on envoie un mail à notre tuteur

    • puis, notre tuteur ou nous-mêmes envoyons un mail au maître de stage

    • cette année : mail à envoyer à Schwoon et Haddad pour connaître notre tuteur ⟶ attendre une semaine

    • dans une semaine : une personne (par ex: le délégué) envoie un mail à Haddad/Schwoon pour connaître l’attribution des tuteurs

    • à éviter : un stage de programmation pour une entreprise, où il n’y a pas de recherche

    • venir vers le directeur de stage déjà avec une idée pour lui proposer :

      • “Je suis un peu inquiet, j’aimerais préparer mon stage/mon administration me demande un descriptif d’une page pour valider le stage, pouvez-vous me donner quelques articles à lire” ⟶ avec tact
      • si le directeur est une star en déplacement ⟶ ne pas hésiter à solliciter les post-docs périphériques

  • Prochaine étape : chercher les sujets/labos/villes/pays qui nous intéressent

  • Comment choisir un sujet de stage ?

    • soit quelque chose qui nous passionne
    • soit quelque chose qu’on ne connaît pas, pour tester : zéro risque, on peut très bien rater un stage de L3 (différent du stage de M1).

  • Critères d’évaluation, pour les stage de L3 ET de M1 :

    • Par l’encadrant

      cf. critère d’évaluation de l’encadrant (en général : notes entre 16 et 20, il y a un gros biais).

    • Par le relecteur

    • Soutenance orale

    • Attention à la qualité de rédaction (orthographe, rigueur, bonne définition des objets)

    • NB : en général, les élèves réussissent la présentation orale.
  • Déposer sur le Moodle de l’ENS (un nouveau va être créé pour l’occasion):
    • notre TIPE (diapos, etc…)
    • notre CV ⟶ mettre les cours (nombre d’heures, notamment) qu’on a suivis en L3, avec nos notes
    • lettre de motivation

  • L’année prochaine : cours d’initiation à la recherche ⟶ 2 mini-stages (de 6 semaines) de recherche

  • Prochaines séances : rédaction, et présentation orale.

  • Règle absolue : les 5 premières minutes de notre présentation doivent être comprises par les étudiants qui entrent en L3 en septembre.
Présentation orale :

Introduction, motivation, état de l’art, conclusion/perspectives ⟶ un chercheur ne s’arrête jamais (quand il a résolu un problème, il en dix autres nouveaux à la fin)

Ce que note le jury :

  • rigueur
  • pédagogie
  • présentation
  • recul

Fiche de 2 pages pour parler du contexte général : doit être incluse dans le rapport !

On cherche sur le web des sujets de recherche des gens qui nous intéressent.

Ex: Équipe de lambda-calcul à Toulouse ⟶ regarder leurs publications ⟶ leur page web ⟶

  • s’ils proposent des stages : c’est bon
  • sinon : on leur demande un sujet pour travailler dessus

⟹ Tout est possible, si c’est intelligemment argumenté ⟶ on peut presque tout faire

  • Sujet de stage : à remplir sur le serveur pédagogique

Si on bloque après 2/3 semaines, ENVOYER UN MAIL à notre tuteur ⟶ ne pas rester bloqué !

Si on montre qu’une piste ne mène à rien ⟶ super, on a épargné du travail à des générations de stagiaires.

Attention : répéter notre soutenance de stage au moins 3 fois !

  • Rapport écrit : Nombre de pages maximal : 15 pages
  • Présentation orale : 20mn MAXIMUM (arrêt si on dépasse !).

Avant le 7 mars :

Page web de M.Finkel

  • rendre les documents demandés sur Moodle
  • Écrire une lettre de motivation
  • Faire quelques diapos pour présenter une notion/un article (ex: lemme d’Ogden, théorème de confluence, …)

Analyse de CV

(Le mien …. gloups !)

  • Choix de couleurs : contraste

  • À enrichir avec des informations précises, mais pas rébarbatives

    ex : vulgarisation scientifique ⟶ préciser : revues, Cité de la Science, etc…

  • Comment raisonner ?

    • Penser à la personne qui lit notre CV ⟶ clairement préciser le nombre d’heures ⇒ y rassembler les cours par thèmes (6 au plus), puis y mettre nos mentions
    • Nombre d’heures + Résultats ⟹ plus intéressants

  • Langues : préciser le niveau (lu, écrit, parlé)

  • Prénom : en plus petit, Nom

  • Licence 3 : bien détailler ces lignes, ce sont les plus importantes.

  • Mettre les projets :

    • TIPE, etc…
    • Ne pas mettre son stage de 3e, bien-sûr !
    • Préciser le nombre d’heures par semaines, …

Th : Le $𝜆$-calcul est Turing-complet

Preuve :

On va exprimer les fonctions $𝜇$-récursives avec des $𝜆$-termes.

Pré-requis : Entiers

Par les

Entiers de Church :

$n ≝ 𝜆 f x. f^n(x)$

1. Fonction successeur

\[Succ \, n ≝ 𝜆 n. f(n f x)\]

2/3. Projections, Fonctions constantes

\[𝜋_k^n \, ≝ 𝜆 x_1 ⋯ x_n. x_k\]

4. Récursivité primitive

Présentation

Transparents de Jones

  • 3/5mn d’introduction que tout le monde doit pouvoir comprendre

    • accrocher l’auditeur dès les premières minutes ⟶ donner des arguments pour expliquer pourquoi c’est intéressant, quitte à revenir sur l’intérêt à la fin en le modérant (toujours avec des arguments).

  • 25mn en tout + 5mn de questions

    • écrire fait partie intégrante du boulot de production ⟶ on n’écrit pas après avoir eu l’idée, on écrit pour consolider les idées

    • en stage : prendre des notes tous les jours ⟶ écrire = un outil

      • rédiger tout de suite (dès le début du stage) les motivations qui nous poussent à étudier le sujet
    • le retour des gens = super précieux ⟶ importance du feedback

  • Montrer une/deux preuves techniques à l’oral (pas les 20 qu’il y a vraiment ⟶ beaucoup trop lourd)

  • Faire passer une idée de manière à provoquer la curiosité :

    • poser des questions intringuantes
    • apprendre à poser le problème, ne pas proposer une solution directement (l’auditeur ne sera pas motivé pour l’écouter) (dans 3/5 premières minutes)

  • Un papier, c’est 12 pages (annexes : ça peut aller jusqu’à 100 pages ⟶ mais 100 pages, beaucoup trop)

  • Faire apparaître très clairement sa contribution :

    • ex : avec une “unordered list”, comprenant trois contributions majeures, et éventuellement des sous-contributions

  • Utiliser des exemples pour introduire le problème

Qu’est-ce qu’un problème intéressant ?

Un problème est intéressant s’il est…

  • important (importance = proportionnelle au nombre de gens qui s’y intéressent)

    • ex : sécurité du vote électronique

  • facile: technique de résolution facile, dans laquelle il y a un nouveau concept (idée de preuve, paradigme, etc…)

  • utile ⟶ beaucoup d’applciations

  • efficace

  • nouveau

  • beau

    • ex : on a retiré une hypothèse, belle démo, bel énoncé, etc…

  • créatif

    • ex : on fait un lien entre deux domaines. Exs :

      • exs : grammaires en linguistique ⟶ on utilise des algos de langages formels pour résoudre des problématiques (ex: les liguistes utilisent un algo exponentiel, on leur en propose un polynomial bien connu en info théorique)

  • surprenant

    • ex : un problème apparemment simple est NP-complet

Leave a comment