Annonce en lien avec l’Action/le Réseau : aucun

Laboratoire/Entreprise : LIP6
Durée : Permanent
Contact : Jean-Claude.Bajard@lip6.fr
Date limite de publication : 2016-02-17

Contexte :
Le LIP6, Unité Mixte de Recherche de l’Université Pierre et Marie Curie et du Centre National de la Recherche
Scientifique, UMR 7606 UPMC – CNRS, est un laboratoire de recherche en informatique se consacrant à la
modélisation et la résolution de problèmes fondamentaux motivés par les applications, ainsi qu’à la mise en
œuvre et la validation des solutions au travers de partenariats académiques et industriels.
Les axes fédérateurs sont :
– sûreté, sécurité, fiabilité ;
– science des données, intelligence et optimisation ;
– objets communicants.
1Le LIP6 répond à ces challenges à différents niveaux thématiques au sein de ses 6 départements.
Le profil recherche se décline en fonction de l’équipe d’accueil de la façon suivante:

Sujet :
SYSTEME :
Plusieurs équipes concernées, le profil entre dans l’axe fort du LIP6 “Objets communiquants”, Enseignement master
“Système” (SAR)/ “e-santé” (SESI)
– REGAL : le candidat pourra s’intégrer dans les activités de recherche de l’équipe Regal autour des thématiques
suivantes : les grands systèmes (Cloud, Réseaux dynamiques), la tolérance aux fautes et la gestion de données
massives réparties.
– Whisper : Les travaux de l’équipe Whisper se situent dans l’axe Fiabilité du LIP6 et l’une de nos actions majeures
relève de l’amélioration de la qualité du système d’exploitation Linux. Les permanents de l’équipe Whisper en
majorité des chercheurs estiment important de renforcer son contact avec les étudiants avec le recrutement
d’enseignants-chercheurs.
– AlSoC : Nous désirons renforcer nos actions de recherche sur l’interaction entre les architectures des systèmes
embarqués et les applications, avec la prise en compte de contraintes fortes pour les objets communicants telles
que la sécurité, la faible consommation d’énergie ou les ressources limitées. Les compétences recherchées
concernent les systèmes embarqués et reconfigurables.
SÉCURITÉ :
Plusieurs équipes concernées, le profil entre dans l’axe fort du LIP6 “Sécurité, Fiabilité, Sûreté”, Enseignement en
master Sécurité, Calcul Haute Performance…
– MOVE : L’équipe MoVe est moteur en vérification par model-checking de systèmes complexes, incluant des
aspects à la fois qualitatifs et quantitatifs.
L’équipe cherche à développer ses thèmes de recherche plus récents centrés sur la vérification quantitative, la
synthèse et le contrôle.
– POLSYS : est leader dans la conception d’algorithmes HP pour la résolution des systèmes polynomiaux et leurs
applications notamment en cryptographie. L’émergence de nouveaux défis liés aux actions de transfert en cours
(startup) impose d’élargir et renforcer notre corpus méthodologique (algorithmes fondamentaux).
– PEQUAN : La thématique principale de l’équipe PEQUAN concerne l’arithmétique des ordinateurs et en
particulier le calcul numérique certifié. L’équipe souhaite renforcer cette thématique prioritaire car c’est dans ce
domaine que des départs risquent de se produire très prochainement.
– PHARE : L’équipe PHARE souhaite recruter un maître de conférences avec un profil “Haute sécurité des
protocoles réseaux et de leurs applications” pour la campagne 2016 car c’est un axe de recherche important de
l’équipe que nous voulons renforcer.
ALGORITHMES:
Profil transversal plusieurs équipes concernées,
– RO: Un explosion de nouveaux résultats en optimisation combinatoire a commencée il y a une cinquantaine
d’années, et s’ouvre continuellement à des problèmes de la vie courante. L’équipe Recherche Opérationnelle
souhaiterait accueillir un nouveau/une nouvelle maître de conférence actif dans ce domaine, avec une culture
large dans les techniques d’optimisation.
– Complex Networks: L’équipe Complex Networks est moteur sur les graphes de terrain en France (réseaux
sociaux, internet, web, …). Pour mener son activité qui est intense, l’équipe a besoin d’être renforcée (4
permanents). L’équipe a une approche originale de l’algorithmique intégrant de nombreux aspects pratiques. Les
défis sont nombreux et soulèvent d’importantes questions fondamentales et applicatives.
– APR : L’équipe APR est composée d’une thématique Programmation et d’une thématique Algorithmique.
L’équipe a une forte activité, à la fois en termes de publications, d’organisations de conférences et de
participation à des contrats. L’équipe souhaite renforcer son activité sur la thématique Algorithmique, en
particulier pour l’étude quantitative de systèmes concurrents et la génération aléatoire d’exécutions.

Profil du candidat :
Le candidat devra s’intégrer dans au moins l’une des trois thématiques Systèmes, Sécurité, Algorithmique.

Formation et compétences requises :
Voir la fiche de poste

Adresse d’emploi :
LIP6 – Université Pierre et Marie Curie (jussieu)
Paris

Document attaché : 27mcf2899-4339.pdf