ER01: Algorithmic Game Theory

Pierre Lescanne

Date : 9-13 décembre 2013.

Description de l’école et emploi du temps.

Contact local : Natacha Portier.

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 29 novembre en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 1 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school « Algorithmic Game Theory », taking place at ENS Lyon, from Dec. 9 to Dec. 13, 2013.

ER02: Synchronous Approaches for Embedded Systems

Anne Benoit

Date : 13-17 Janvier 2014.

Site web.

Contact local : Laure Gonnord.

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 3 janvier en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fr, avec le sujet « Registration form — research school 2 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school « Synchronous Approaches for Embedded Systems », taking place at ENS Lyon, from Jan. 13 to Jan. 17, 2014.

ER03: Logic of Dynamical Systems

Pierre Lescanne

Orateurs : André Platzer et Sarah Loos.

Date: 20-24 Janvier 2014.

Page web.

Contact local : Filippo Bonchi

Inscription

L’Inscription est gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 10 janvier 2014 en cliquant sur ce lien, remplissant le formulaire et envoyant le message électronique. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternativement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à nicole.meftah@ens-lyon.fravec le sujet « Registration form — research school 3 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school « Logic for Dynamical Systems », taking place at ENS Lyon, from Jan. 20 to Jan. 24, 2014.

Cours pour non spécialistes

Eric Fleury

Bonjour à tous,

Dans le cadre de sa démarche d’interdisciplinarité, l’ENS de Lyon propose aux étudiants, enseignants et chercheurs une palette de cours pour non spécialistes d’un semestre, pour acquérir des compétences dans une discipline qui leur est étrangère et les outils indispensables à l’interdisciplinarité.

Plus que des conférences de sensibilisation, ces cours de base, qui peuvent être validés dans le cadre du Diplôme de l’ENS, permettent de comprendre les concepts et d’intégrer le langage et la culture d’une autre discipline.

Vous trouverez tous les détails pour les inscriptions et les programmes sur : http://www.ens-lyon.fr/cours-pour-non-specialistes/

Au programme de ce premier semestre par exemple , des cours sur le cancer et les maladies virales, la modélisation mathématique, les principes économiques fondamentaux ou encore l’utilisation des cartes géographiques… Inventez-vous votre propre parcours !

Ces cours ont lieu le lundi de 16h30 à 18h30.

Catherine Hänni
Chargée de mission pour l’interdisciplinarité à l’ENS de Lyon

Stages

admin

Stages

Attention :

  1. Pour chaque étudiant et chaque stage, le choix du stage doit être validé par votre tuteur et la commission des études . Chaque étudiant doit donc soumettre son choix de stage à la date requise.
  2. Vous devez remplir une convention de stage avant de commencer votre stage de fin d’études. Renseignez-vous dans le secrétariat de votre établissement d’inscription. L’établissement d’une convention , dans les conditions idéales, prends 3 à 4 semaines avec les jeux des navettes entre l’ENS lyon, votre laboratoire d’accueil et Lyon 1.

Pour plus d’info sur les modalités, sujets, durée se référer aux pages spécifiques :

au bureau des stages monod ou à l’espace stage sur le portail des études.

Documents pour établir la convention de stage: à venir…

Calcul formel

Daniel Hirschkoff

Programme de l’UE :

  • Pgcd et pgcd étendu : algorithmes d’Euclide et d’Euclide étendu (coût algébrique, coût arithmétique, propriétés, …), algorithme quasi-linéaire de Knuth et Schonhage.
  • Algorithmes sur les polynômes : évaluation, interpolation. Arbre des produits. Algorithmes quasi-linéaires pour l’évaluation multi-points et l’interpolation.
  • Algorithmique de l’algèbre lineaire : pivot de Gauss (sur un corps), applications (calcul d’image, de noyau, de déterminant, systèmes linéaires), méthodes multimodulaires et relèvement de Hensel sur Z ou K[X].
  • Résultant, élimination ; application au calcul de l’intersection de deux courbes algébriques planes.
  • Factorisation des polynômes sur Z/pZ : algorithme de Berlekamp, de Cantor-Zassenhaus, relèvement de Hensel d’une factorisation.
  • Application aux codes correcteurs d’erreurs : codes de Reed-Solomon. Algorithmes de décodage, de décodage en liste.

Nota: programme incomplet — à titre d’indication, voici le programme du cours de l’an dernier:

  1. Évaluation en un point : schéma de Horner, interprétation en termes de division euclidienne, optimalité dans le modèle de complexité non scalaire (pgms straight-line).
  2. Multiplication : racines (primitives) n-ièmes, transformée de Fourier discrète (DFT) et sa version rapide (FFT), DFT inverse, multiplication de polynômes par FFT, algorithme de Schonhage et Strassen, fonctionM(n).
  3. Division euclidienne : calcul rapide du reste à partir du quotient, polynômes réciproques, itération de Newton pour l’inversion modulo x^n en O(M(n)), équivalence de complexité entre division et multiplication.
  4. Évaluation multipoint et interpolation : algorithme de Lagrange, algorithme quadratique, arbre des sous-produits et algorithmes quasi-linéaires (somme de fractions, evaluation, interpolation), cas d’une progression géometrique (algorithme de Aho, Steiglitz, Ullman).
  5. Pgcd et pgcd étendu : algorithmes d’Euclide et d’Euclide étendu (analyse de coût, propriétés, …), algorithme quasi-linéaire de Knuth et Schonhage.
  6. Évaluation polynômiale en arithmétique flottante : standard IEEE 754, notations pour l’analyse des erreurs d’arrondi, stabilité (directe, inverse), conditionnement, error-free transforms et algorithmes TwoSum et TwoProd,technique de compensation appliquée au schéma de Horner.
  7. Algorithmique de l’algèbre lineaire : pivot de Gauss (sur un corps, sur Z ou K[X]), applications (calcul d’image, de noyau, de déterminant, systèmes linéaires) méthodes multimodulaires
  8. Résultant, élimination ; application au calcul de l’intersection de deux courbes algébriques planes ; sous-résultants et applications à l’analyse des variantes de l’algorithme d’Euclide étendu sur Z[X]
  9. Rappels sur les corps finis ; factorisation des polynômes sur les corps finis : algorithme de Berlekamp, de Cantor-Zassenhaus
  10. Relèvement de Hensel d’une factorisation ; bornes sur les facteurs d’un polynôme à coefficients entiers. Algorithme de Berlekamp-Zassenhaus pour la factorisation des polynômes à coefficients rationnels.

Intervenants

Cours: Guillaume Hanrot et Jean-Michel Muller

TDs: Silviu Filip

Optimisation et programmation linéaire

Daniel Hirschkoff

Programme de l’UE :

  1. Les bases. Programme linéaire.
    Algorithme du Simplexe. Lemme de Farkas. Dualité. Ecarts complémentaires. Analyse de sensitivité.
  2. Programmation en nombres entiers.
    Polyèdres et Polytopes. Relaxation fractionnaire. Matrices totalement unimodulaires et TDI. Arrondis déterministes et aléatoires. Générations de coupes.
  3. Modélisation et applications classiques.
    Flots et réseaux de transport. Stratégies mixtes (jeux matriciels). Codes correcteurs. Compressed sensing.
  4. Extensions possibles.
    Ellipsoide. Oracles de coupe (Grotschel Lovasz Schrijver). Programmation semi-définie (Capacité Shannon, Fonction Theta, coupe minimum de Goemans et Williamson). Minimisation des fonctions sous-modulaires.

Intervenants

Cours: Stephan Thomassé

TDs: Guillaume Aupy

ER03: Problèmes de satisfaction de contraintes

Daniel Hirschkoff

21-25 Janvier 2013, ENS Lyon.

Orateurs: Manuel Bodirsky, Michael Pinsker.

Une description plus complète se trouve sur la version anglaise de cette page.

Lundi 21/01. Introduction. Exemples de CSPs de l’intelligence artificielle. Les formules primitives positives et des preuves de NP-difficulté. Des algorithmes efficaces. La conjecture de Feder et Vardi.

Mardi 22/01. L’approche d’algèbre universelle. La correspondance de Galois Inv-Pol, le noyau d’une structure, la conjecture de faisabilité, les operations cycliques.

Mercredi 23/01. Des CSPs sur des domaines infinis. Les limites de Fraïssé, le théorème de Ryll-Nardzewski. La correspondence Inv-Pol sur des domaines infinis. La topologie de convergence simple. Les graphes de Henson et autres exemples.

Jeudi 24/01. Introduction à la théorie de Ramsey. Fonctions canoniques. Classification de problèmes de Graph-SAT

Vendredi 25/01. Problèmes ouverts, projets de recherche.

Inscription

Inscription gratuite, dans la limite des places disponibles. L’inscription n’inclut ni le logement, ni la nourriture, mais un accès au restaurant universitaire de l’ENS Lyon est possible pour les participants le midi. L’inscription est à compléter avant le 8 janvier en cliquant ici, remplissant le formulaire et envoyant le mail. Une confirmation vous sera envoyée dans les meilleurs délais.

Alternatvement, vous pouvez copier/coller le formulaire suivant, le remplir et l’envoyer par courrier électronique à research.school.1@gmail.com, avec le sujet « Registration form — research school 3 »


First Name:
Last Name:
Institution:
Position (MSc student, PhD student, researcher, etc.):
E-mail address:
wishes to attend the research school ‘Constraint satisfaction problems’, taking place at ENS Lyon, from Jan. 21 to Jan. 25.

Cryptographie et sécurité

Daniel Hirschkoff

Programme de l’UE :

La cryptographie a pour objectif de sécuriser les communications, en présence de parties malhonnêtes. Cette discipline a de nombreux liens avec l’informatique théorique (théorie de la complexité, preuves de sécurité) mais également de nombreuses retombées pratiques : Les protocoles cryptographiques sont omni-présents dans la vie quotidienne (commerce électronique, cartes de paiement, vote électronique, etc).

Ce cours est une introduction aux différents aspects de la cryptographie contemporaine. Nous aborderons les thèmes suivants :

  • Chiffrement symétrique
  • Chiffrement asymétrique
  • Fonctions de hachage cryptographiques
  • Authentification
  • Générateurs pseudo-aléatoires
  • Preuves à divulgation nulle de connaissance
  • Infrastructure de clés publiques
  • Crytanalyse
  • Sécurité prouvée
  • Partage de secret

Nous décrirons également plusieurs applications pratiques des concepts théoriques développés : PGP, TLS/SSL, vote électronique.

Intervenants

Analyse de programmes et vérification de systèmes

Daniel Hirschkoff

Programme de l’UE :

  1. Structures ordonnées
    Ordres et topologies. Points fixes. Approximations et correspondances de Galois. Domaines de Scott
  2. Sémantiques dénotationnelles
    Domaines d’interprétation. Sémantique directe et par continuations.
    Correction et complétude de la Sémantique Axiomatique.
  3. Analyse de programmes
    3.1. Analyses dynamique et statique. Systèmes de types.
    3.2. Interprétation abstraite : principes, élargissement/rétrécissement,     analyses avant et arrière, analyse polyédrale.
  4. Vérification
    4.1. Logiques modales. Structures de Kripke. Model checking.
    4.2. Systèmes réactifs. Logiques temporelles LTL et CTL.

Intervenants

ER01 (2012) : vérification et certification du logiciel

Christophe Alias

Intervenants : Patrick Cousot, Radu Iosif, Sandrine Blazy, Sébastien Bardin

Dates : 9 – 12 janvier 2012 – ENS Lyon

Programme (prévisionnel)

1- Interprétation abstraite : application à la vérification (P. Cousot)

  • Interprétation abstraite
  • Estimation de la précision de logiciels numériques
  • Vérification de systèmes complexes intégrés sur puce
  • Vérifications statiques sur des logiciels critiques embarqués temps-réel
  • Vérification de la sécurité de protocoles cryptographiques

2- Model-checking (R. Iosif)

  • Classical first- and second-order logic, finite word and tree automata, closure properties and language emptiness.
  • Relationship between Weak Monadic Second-Order Logic and finite automata. Infinite automata on words (Buechi, Mueller) and on trees (Rabin) automata, and their relationship with Monadic Second-Order Logic.
  • LTL Model Checking and applications

3- Certified compilation (S. Blazy)

  • Formally verified compiler
  • Software proof codesign
  • Translation validation
  • Proof carrying code

4- Test (S. Bardin)

  • Couverture structurelle et mutations
  • Tests de régression
  • Exécution dynamique symbolique
  • Bounded model-checking

Correspondant local : Ch. Alias
Page web de l’école

ER02 (2012) : Compressive Sensing

Paulo Goncalves

 

Justin Romberg
http://users.ece.gatech.edu/justin/Justin_Romberg.html
School of Electrical and Computer Engineering, Georgia Tech

VENUE

ENS Lyon, Site Jacques Monod.
Room: Amphitheater B – 3rd floor

(local correspondant: Paulo Gonçalves)

PROGRAM and MATERIAL

Basis decompositions and frames (3-4 hours)
[notation, basis, frames, dct-notes, wavelets, sparsity-overview]

  • fundamentals of basis and frame decompositions
  • the discrete cosine transform and applications to image/video compression
  • the lapped orthogonal transform
  • wavelets
  • thresholding for noise reduction

Sparsest decomposition from a dictionary (3-4 hours)
[lecture-2-1-sparseapprox, lecture-2-2-bp, lecture-2-3-upsparse]

  • omp and basis pursuit for selecting atoms
  • uncertainty principles and sparsest decomposition
  • the « spikes+sines » dictionary
  • general unions of orthobases

Introduction to compressive sampling and applications (2 hours)
[csoverview-part1,csoverview-part2,csoverview-part3,csoverview-part4] 

Recovering sparse vectors from linear measurements (6 hours/ 1 day)
[lecture-3-1-invprobs,lecture-3-2-ls,lecture-3-3-l1dual,lecture-3-4-l1cone,lecture-3-5-stable]

  • review of classical least-squares theory:
  • the svd, pseudo-inverse, stability analysis, regularization
  • sparse recovery conditions: l1 duality
  • sparsest decomposition revisited (with random support)
  • the restricted isometry property and sparse recovery
  • l1 for perfect recovery from noise-free measurements
  • l1 stability
  • l2 stability

Random matrices are restricted isometries (2 hours)
[lecture-4-1-gaussrip] 

Optimization (6 hours / 1 day)
[lecture-5-1-sdcg,lecture-5-2-newtonlog,lecture-5-3-streamingl2,lecture-5-4-streamingl1,lasso-dual-notes]
[siamOptimTalk] 

  • conjugate gradients
  • newton iterations
  • newton iterations
  • log-barrier methods
  • first-order l1 solvers
  • greedy algorithms and iterative thresholding
  • recursive least-squares
  • the Kalman filter
  • dynamic l1 updating

Low-rank recovery (2 hours)

TIMETABLE

Monday 9:  10:00am – 12:00am ; 2:00pm – 5:00pm  (5 hours)
Tuesday 10:  9:30am – 12:00am ;  2:00pm – 5:00pm  (5,5 hours)
Wednesday 11:  9:30am – 12:00am ; 2:00pm – 5:00pm  (5,5 hours)
Thursday 12:  9:30am – 12:30pm ; free afternoon  (3 hours)
Friday 13:  9:00am – 12:00am ; 2:00pm – 4:00pm  (5 hours)


ER03 (2012) : Calculabilité sur les entiers et les réels : de l’œuvre de Turing à la recherche actuelle

Natacha Portier

Intervenants : Laurent Bienvenu, Alexander Shen

En cette année 2012, qui célèbre les 100 ans après la naissance d’Alan Turing, nous présenterons les bases de la théorie qu’il a contribué à fonder, celle de la calculabilité. Nous rappellerons les concepts de base (machines de Turing, fonctions calculables) pour arriver rapidement à présenter quelques résultats et techniques fondamentaux de la calculabilité.

Le programme (prévisionnel) du cours est le suivant.

  1. Rappels de concepts de base
    • Machines de Turing
    • Ensembles et fonctions calculables, ensembles récursivement énumérables
  2. Indécidabilité
    • Problème de l’arrêt. Indécidabilité, et many-one complétude
    • Autres exemples de problèmes indécidables équivalents à l’arrêt:
      équations diophantiennes, problème du mot dans les semi-groupes,
      logique du premier ordre, etc.
  3. Oracles et réductions
    • Machines de Turing à oracle
    • Réduction Turing, degrés de Turing
  4. Hiérarchie arithmétique
    • Le jump comme opérateur sur les degrés.
    • Lemme de Schoenfield
    • La hiérarchie arithmétique et ses liens avec l’opérateur de jump
    • Complétude des ensembles \Sigma^0_n et \Pi^0_n, exemples de problèmes complets
  5. Résultats avancés sur les degrés
    • Existence de degrés non comparables (2 preuves: par diagonalisation et probabiliste par le théorème de Sacks)
    • Existence de deux degrés r.e. par la méthode de priorité de Friedberg-Muchnik
    • Existence d’un degré de Turing minimal
    • (Plus si le temps le permet: degrés « low », « high » et leur existence)
  6. Calculabilité sur les réels
    • Définition des fonctions calculables sur les réels et leurs propriétés élémentaires
    • Analyse calculable: théorèmes effectifs et non-effectifs

Les exposés seront donnés en anglais.

Dates : 16 au 20/01/2011

Planning:

– Lundi: 10h30-12h cours/TD; 14h-16h30 cours/TD
– Mardi: 10h-12h cours ; 14h-15h30 cours; 16h-17h30 TD
– Mercredi: 10h-12h cours ; 14h-15h30 cours; 16h-17h30 TD
– Jeudi: 10h-12h cours ; 14h-15h30 cours; 16h-17h30 TD
– Vendredi: 10h-12h cours ; 14h-15h30 cours; 16h-17h30 TD

Examen vendredi jusqu’à 18h3o (à confirmer)

Correspondante locale : Natacha Portier

ER04 (2012) : programmation linéaire et combinatoire

Nicolas Trotignon

Intervenants : Frédéric Giroire, Frédéric Havet et Nicolas Nisse

Dates : du 23 au 27 janvier 2012, à ENS Lyon, amphi B (sauf la séance de TP en E001)

Programme

Lundi
9h00 – 11h30
13h30 – 15h00
15h30 – 17h30
Introduction, Modelisation de problemes en PL, Simplexe approche geometrique.

Mardi
9h00 – 11h30 Dualité I
14h00 – 15h30 Dualité II
16h00 – 17h30 Ellipsoïde.

Mercredi
9h00 – 11h30 TP
13h30 – 15h00 Relaxation fractionnaire: Totale unimodularite.
15h30 – 17h30 Relaxation Lagrangienne.

Jeudi
9h – 11h30 Relaxation fractionnaire: Arrondis deterministes et aleatoires, integral gap.

Vendredi
9h – 11h30 Algorithmes primal-dual.
13h30 – 15h00 Examen.

Correspondant local : Nicolas Trotignon

Magnifiques notes de cours :
Introduction to linear programming duality
Ellipsoid method
Fractional relaxation
Lagrangian relaxation

ER05 (2012) : algorithmique distribuée

Guillaume Hanrot

Intervenants : Maria Potop-Butucaru, Sébastien Tixeuil

Dates : 6 au 10 février 2012

Résumé de l’école de recherche :

L’algorithmique distribuée est l’algorithmique des réseaux et des systèmes distribués. Dans un algorithme distribué, les machines qui participent au calcul collaborent à une tâche commune malgré des informations qui ne peuvent s’échanger que localement, malgré des vitesses de calcul et de communication qui diffèrent parfois significativement, malgré des connaissances sur le système global qui ne sont que parcellaires, malgré des pannes de certaines de ces machines qui surviennent inopinément, malgré des attaques sur des machines critiques qui surviennent au pire moment, malgré des machines qui vont et qui viennent au gré de la volonté de leurs utilisateurs. En  somme, il s’agit pour ces machines de collaborer malgré l’adversité.

L’objectif du cours est de proposer un panorama des recherches récentes en algorithmique distribuée, tant du point de vue de la tolérance aux fautes et aux attaques (auto-stabilisation, comportements Byzantins, etc.), que de celui de la coordination distribuée (cohortes de robots, agents mobiles, etc.).

Voir la page de l’école de recherche.

Correspondant local : Eddy Caron

ER06 (2012) : Introduction à l’image de synthèse

Guillaume Hanrot

Intervenants : Sylvain Lefebvre (INRIA Nancy-Grand Est), Bruno Lévy (INRIA Nancy Grand-Est).

Thème :Ce cours introduit les algorithmes fondamentaux utilisés en synthèse d’images, avec un accent en particulier sur le calcul rapide pour l’affichage temps réel (simulateurs, pré-visualisation, jeux). Les techniques de lancer de rayon et rendu projectif seront abordées, avec quelques excursions vers des domaines actifs de recherche comme la modélisation géométrique, le placage de texture et la génération procédurale de contenu. Le cours comprend également une introduction à la programmation des cartes graphiques parallèles via OpenGL et OpenCL.

Date : 13/02-17/02/2012

Emploi du temps :

Lundi 13/02 : 14h-17h30 cours

Mardi 14/02 9h-12h30 cours, 14h-16h cours

Mercredi 15/02 14h-17h30 cours

Jeudi 16/02 9h-13h TD

Vendredi 9h-12h30 cours, 14h-18h TD

Correspondant local : Guillaume Hanrot

Poste de professeur 27ème section

Guillaume Hanrot

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.