Le recrutement CSI/LRDE

Transcription

1 Le recrutement CSI/LRDE Otto Laboratoire de Recherche et Développement de l EPITA (LRDE) 10 déc 2007 (rév. 489) Otto (LRDE) CSI 10 déc / 32

2 Le recrutement CSI/LRDE 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

3 L option CSI 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

4 Otto (LRDE) CSI 10 déc / 32

5 Option CSI, CALCUL SCIENTIFIQUE ET IMAGE La formation par la recherche Environ 10 épitéen(ne)s par promotion Formation pour les besoins de recherche du laboratoire Participation à la recherche Parfois des conférences internationales Tremplin vers un doctorat (3 docteurs, 17 doctorants, 6 étudiants en Master recherche) Otto (LRDE) CSI 10 déc / 32

6 Option CSI, CALCUL SCIENTIFIQUE ET IMAGE La formation par la recherche Environ 10 épitéen(ne)s par promotion Formation pour les besoins de recherche du laboratoire Participation à la recherche Parfois des conférences internationales Tremplin vers un doctorat (3 docteurs, 17 doctorants, 6 étudiants en Master recherche) Otto (LRDE) CSI 10 déc / 32

7 Les qualités clefs Persévérance Ne pas avoir peur des difficultés Savoir se concentrer sur un sujet Autonomie Savoir chercher Savoir interrompre Savoir que faire quand rien n est demandé Otto (LRDE) CSI 10 déc / 32

8 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

9 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

10 Otto (LRDE) CSI 10 déc / 32

11 Olena Description Écrire une bibliothèque de traitement d images générique et performante Élaborer de nouveaux paradigmes de programmation pour marier généricité et performances Cadre : C++ statique, métaprogrammation Otto (LRDE) CSI 10 déc / 32

12 Olena Les Postes O1 C++ / Génie Logiciel Travailler sur le coeur d Olena 1.0 O2 C++ / Traitement d images Ajouter à Olena 1.0 des algorithmes de traitement d images O3 C++0x / ConceptGCC / SCOOP Tester les possibilités de la future norme de C++ (2009 a priori) et comparer avec le paradigme statique qu on utilise. Otto (LRDE) CSI 10 déc / 32

13 Olena Les Postes O1 C++ / Génie Logiciel Travailler sur le coeur d Olena 1.0 Mots-clefs modélisation objet, programmation générique, design patterns Exemples gestion automatique de la mémoire par mixin, héritage de constructeur, modifications de types de données (ex : T devient {T, operator<}), etc. O2 C++ / Traitement d images O3 C++0x / ConceptGCC / SCOOP Otto (LRDE) CSI 10 déc / 32

14 Olena Les Postes O1 C++ / Génie Logiciel O2 C++ / Traitement d images Ajouter à Olena 1.0 des algorithmes de traitement d images Mots-clefs morphologie mathématique, canevas d algorithmes O3 C++0x / ConceptGCC / SCOOP Otto (LRDE) CSI 10 déc / 32

15 Olena Les Postes O1 C++ / Génie Logiciel O2 C++ / Traitement d images O3 C++0x / ConceptGCC / SCOOP Tester les possibilités de la future norme de C++ (2009 a priori) et comparer avec le paradigme statique qu on utilise. Prototypes sur un sous-ensemble de la std lib C++ et sur un sous-ensemble de Vaucanson. Otto (LRDE) CSI 10 déc / 32

16 Otto (LRDE) CSI 10 déc / 32

17 Vaucanson Description Une plateforme de manipulation d automates Bibliothèque générique et performante Une interface en ligne de commandes Une interface graphique Otto (LRDE) CSI 10 déc / 32

18 Vaucanson Les Postes V1 Performances Étudier les performances. Corriger ces défauts. Spécialiser pour certains cas. V2 Implémentation d algorithmes sur les automates Nouveaux automates Nouveaux algorithmes Généralisations Améliorations Otto (LRDE) CSI 10 déc / 32

19 Otto (LRDE) CSI 10 déc / 32

20 Spot Description Bibliothèque de model checking Type abstrait central : automate de Büchi généralisé (reconnaît des mots infinis) Spot fournit des outils pour manipuler ces automates L enchaînement de ces briques permet de réaliser un model checker. Otto (LRDE) CSI 10 déc / 32

21 Spot Les Postes S1 Théorie/Implémentation : Logiques temporelles et automates Nouvelles traductions de formules logiques en automates. S2 Architecture/Implémentation : Performances et BDD Remplacement de la bibliothèque de BDD utilisée au cœur de Spot. S3 Intégration/Implémentation : Interface avec NIPS Créer un model checker pour Promela en interfaçant Spot avec NIPS. Otto (LRDE) CSI 10 déc / 32

22 Spot Les Postes S1 Théorie/Implémentation : Logiques temporelles et automates Nouvelles traductions de formules logiques en automates. Spot possède deux algorithmes de traduction de LTL (Logique Temporelle à temps Linéaire) en automates de Büchi généralisés. Étudier des traductions d autres logiques telles que ETL (extended temporal logic) qui étend LTL en y ajoutant des opérateurs représentés par des automates de Büchi, un sous-ensemble de PSL (property specification language) correspondant à LTL équipée d expressions ω-rationnelles. S2 Architecture/Implémentation : Performances et BDD S3 Intégration/Implémentation : Interface avec NIPS Otto (LRDE) CSI 10 déc / 32

23 Spot Les Postes S1 Théorie/Implémentation : Logiques temporelles et automates S2 Architecture/Implémentation : Performances et BDD Remplacement de la bibliothèque de BDD utilisée au cœur de Spot. Actuellement il est impossible d utiliser Spot dans plusieurs threads à cause de la bibliothèque de BDD utilisée partout. Idéalement on souhaite une interface transparente pour évaluer différentes bibliothèques de BDD. S3 Intégration/Implémentation : Interface avec NIPS Otto (LRDE) CSI 10 déc / 32

24 Spot Les Postes S1 Théorie/Implémentation : Logiques temporelles et automates S2 Architecture/Implémentation : Performances et BDD S3 Intégration/Implémentation : Interface avec NIPS Créer un model checker pour Promela en interfaçant Spot avec NIPS. Une telle interface nous permettrait entre autre de faire des comparaisons entre un model checker réalisé avec les briques de Spot et le model checker Spin (à l origine du langage Promela) de récupérer pleins de modèles Promela pour faire tourner Spot sur de vrais modèles... Otto (LRDE) CSI 10 déc / 32

25 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

26 Otto (LRDE) CSI 10 déc / 32

27 Transformers Description Créer une partie frontale pour le C++ Implémenter des transformations de programmes C++ Exploiter les technologies Stratego/XT pour répondre aux besoins Otto (LRDE) CSI 10 déc / 32

28 Transformers Les Postes T1 Analyse du C++ Désambiguïsation La terminer. Analyses Simples mais utiles : #include inutiles, région d intérêt... T2 Désambiguïsation sémantique Extension de SDF pour l écriture aisée de règles de désambiguïsation. Comparaison de cette approche avec d autres. Otto (LRDE) CSI 10 déc / 32

29 ...Please don t assume Lisp is only useful for Animation and Graphics, AI, Bioinformatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list. Kent Pitman Otto (LRDE) CSI 10 déc / 32

30 COMMON LISP Description Projet transversal : Étude du comportement et des performances (language lui-même, compilateurs) Étude de son expressivité, mélange de paradigmes (dynamique, réflexif, fonctionnel, objet, générique) À terme : Applicabilité aux projets du LRDE (paradigmes conçus et utilisés dans Olena etc.) Conception et développement d une couche générique standardisée (objet, statique) Otto (LRDE) CSI 10 déc / 32

31 COMMON LISP Les Postes (2 4 personnes) CL 1 Comportement et Performances Poursuivre l étude en cours. Horizontalement : diversifier les architectures et les compilateurs. Verticalement : diversifier les algorithmes testés et les techniques d implémentation. Étendre cette étude à CLOS. CL 2 CLimb : the COMMON LISP Image Manipulation Bundle L écrire... Otto (LRDE) CSI 10 déc / 32

32 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

33 Domaines Probabilités : Gaussiennes et Mélange de gaussiennes Apprentissage automatique des paramètres (Algorithme EM) Vérification du locuteur = Méthodes à noyaux (SVM) Fusion des systèmes Optimisation des programmes = Programmation parallèle Optimisation des algorithmes = Utilisation d estimateur Otto (LRDE) CSI 10 déc / 32

34 GMM-SVM Speaker Recognition Systems Application des méthodes SVM dans l espace des GMMs Compensation du canal. Développer des nouveaux systèmes utilisant d autres paramètres Otto (LRDE) CSI 10 déc / 32

35 Le projet vous intéresse? Qu est ce que vous pouvez apporter? Otto (LRDE) CSI 10 déc / 32

36 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32

37 Les dates Juste après po t ouvert au LRDE Jeudi 13 13h30 Concours de recrutement (Amphi P004) Lundi 17 12h00 Clôture des inscriptions ( Mardi 18 18h00 Recrutement Otto (LRDE) CSI 10 déc / 32

38 Les dates Juste après po t ouvert au LRDE Jeudi 13 13h30 Concours de recrutement (Amphi P004) Lundi 17 12h00 Clôture des inscriptions ( Mardi 18 18h00 Recrutement Otto (LRDE) CSI 10 déc / 32

39 Les dates Juste après po t ouvert au LRDE Jeudi 13 13h30 Concours de recrutement (Amphi P004) Lundi 17 12h00 Clôture des inscriptions ( Mardi 18 18h00 Recrutement Otto (LRDE) CSI 10 déc / 32

40 Les dates Juste après po t ouvert au LRDE Jeudi 13 13h30 Concours de recrutement (Amphi P004) Lundi 17 12h00 Clôture des inscriptions ( Mardi 18 18h00 Recrutement Otto (LRDE) CSI 10 déc / 32

41 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

42 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

43 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

44 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

45 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

46 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

47 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

48 Déroulement du recrutement Rapide présentation du labo et des présents Brèves introduction du processus Présentation de chacun des candidats Première sélection Deuxième tour de questions sur les candidats Recrutement poste par poste des étudiants Annonce Dodo ou Butte aux Cailles Otto (LRDE) CSI 10 déc / 32

49 Le recrutement CSI/LRDE 1 L option CSI 2 3 Otto (LRDE) CSI 10 déc / 32