Offre en lien avec l’Action/le Réseau : – — –/– — –

Laboratoire/Entreprise : LIP6
Durée : Permanent
Contact : Fabrice.Kordon@lip6.fr
Date limite de publication : 2024-02-29

Contexte :
Le LIP6, UMR 7606, Unité Mixte de Recherche CNRS et Sorbonne Université, 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 19
équipes du LIP6 articulent leurs activités autour de quatre axes transverses : « Intelligence artificielle et science des
données », « Architecture, systèmes et réseaux », « Sécurité, sûreté et fiabilité », « Théorie et outils mathématiques pour
l’informatique ».

Sujet :
L’algorithmique est au cœur de la discipline informatique. Elle joue un rôle central dans tous ses domaines applicatifs, de
la sécurité des systèmes d’information à l’optimisation, en passant par le traitement de données massives, elle est
omniprésente dans le développement de produits industriels ; son caractère transversal la rend aujourd’hui indispensable
au développement des technologies de l’information et de la communication.
Les activités du LIP6 couvrent un large spectre de l’algorithmique : depuis la conception des algorithmes pour de
nombreuses applications, l’analyse théorique de leur correction et de leur performance, jusqu’à leur implantation en
pratique et leur expérimentation.

Profil du candidat :
Ce profil vise tous les candidats et candidates susceptibles de s’insérer dans un ou plusieurs des thèmes de recherche
relevant des équipes APR, Complex Networks, PolSys et RO décrits ci-dessous.

APR :
Les thématiques de l’équipe APR (algorithmes, programmes et résolution) se développent autour d’approches formelles
pour l’étude des algorithmes, des structures combinatoires, de la topologie computationnelle, des langages de
programmation et des logiciels, du calcul formel, avec pour but notamment l’amélioration de la qualité, la performance et la
fiabilité des logiciels. L’équipe souhaite renforcer son axe algorithmique, en particulier sur les thématiques liées à la
combinatoire analytique et à l’analyse topologique de données, mais reste ouverte à des candidats qui créeraient des liens
avec ses thématiques en langage de programmation (conception, implantation, sémantique, modèles formels, analyse,
vérification) et les étendraient vers des sujets connexes.

Complex Networks :
L’équipe Complex Networks cherche à développer des algorithmes efficaces pour la description et l’analyse de traces de
données d’interactions issues du monde réel dans l’objectif de comprendre le fonctionnement des systèmes complexes
sous-jacents. Les systèmes analysés sont de natures variées : échanges de paquets d’information entre machines,
interactions sur des plateformes du web, communications dans un réseau social etc. Ces différents objets de recherche
ont en commun d’être représentables à l’aide de graphes dont la structure évolue dynamiquement, ce qui permet de
développer des formalismes mathématiques et des outils d’analyse communs.

PolSys (Polynomial Systems) :
L’activité de l’équipe PolSys se concentre sur la conception, l’implantation et les applications d’algorithmes relevant du
calcul formel (méthodes algébriques) pour la résolution de problèmes non-linéaires, notamment la résolution de systèmes
polynomiaux. Les thématiques de recherche couvertes par l’équipe relèvent donc principalement du calcul formel au sens
large, en y incluant ses applications phares. Ainsi, les personnes ayant une expertise en géométrie algorithmique, en
cryptographie (notamment post-quantique), calcul haute-performance, arithmétique des ordinateurs, ou en combinatoire
sont invitées à candidater.

RO (Recherche Opérationnelle) :
L’équipe RO s’intéresse à la conception et à l’analyse d’algorithmes pour la résolution de problèmes d’optimisation
complexes. Parmi ses thématiques de recherche, l’équipe souhaite prioritairement recruter une personne travaillant dans
le domaine de l’optimisation black-box: analyse d’algorithmes de recherche randomisés, théorie des algorithmes
évolutionnaires, configuration et sélection d’algorithmes, notamment avec des méthodes AutoML.
Les personnes ayant une expertise en algorithmique pour l’optimisation combinatoire sur les thématiques de
l’ordonnancement, l’algorithmique on-line et/ou l’optimisation dans les graphes sont également invitées à candidater.

Note : en raison des recrutements et des départs récents, l’équipe Complex Networks est moins prioritaire que les autres
car elle a recruté à Sorbonne Université en 2023.

Formation et compétences requises :
Titulaire d’un Doctorat en Informatique (ou un diplôme équivalent)

Adresse d’emploi :
LIP6 – CNRS, Sorbonne Université
BC 169
4 place Jussieu
75252 Paris Cedex 06

Document attaché : 202401110951_32_LIP6_Conception_MC27_EC.pdf