Missions

La personne recrutée par le CNRS intégrera le laboratoire LIRMM, (UMR5506), Montpellier. Elle travaillera dans le cadre du projet ANR FLITTLA à l'interface entre les théories de l'information classique et algorithmique et leurs applications. Elle interagira avec les membres du projet présents au LIRMM et potentiellement avec les autres membres du projet (au LaBRI et à l'IRIF).

Contexte de la mission: L'objectif de ce projet est l'étude des quantités fondamentales de la théorie de l'information algorithmique, telles que l'information mutuelle et ces généralisations. De manière générale, nous nous intéressons aux contraintes universelles pour ces quantités. Nous nous concentrons sur les lois de la théorie de l'information qui peuvent être appliquées à d'autres domaines de l'informatique théorique, notamment aux problèmes de complexité de la communication. Dans de ce projet, la théorie algorithmique de l'information devra intégrer diverses méthodes formelles, telles que la théorie de la calculabilité et la combinatoire, pour les adapter afin de prouver de nouvelles inégalités d'information, et puis les utiliser dans les applications ciblées.

Activités

Les activités principales de la personne recrutée sont listées ci-dessous :
- Développement et administration de logiciels scientifiques utilisés dans les preuves assistées par machine d'inégalités théoriques de l'information (outils de programmation linéaire et autres méthodes d'optimisation mathématique).
- Collaboration avec Andrei Romashchenko et Alexander Shen dans le cadre du projet ANR FLITTLA ; collaborations éventuelles avec les autres membres du projet (Montpellier, Paris, Bordeaux).
- Participation à des séminaires et colloques, et éventuellement dans l'encadrement d'un stage de Master.
- Publication d'articles scientifiques.

Compétences

Compétences:
- connaissances théoriques solides sur des thématiques du projet (la théorie de l'information classique et algorimique)
- compétences en programmation (le projet implique des techniques de preuve assistée par machine)
- capacité à travailler aussi bien en autonomie qu'en équipe
- Français ou Anglais courant

Contexte de travail

Ce poste s'inscrit dans le projet ANR FLITTLA (Fundamental Laws of Information Theory through the Lens of Applications), dont Andrei Romashchenko est le porteur. Ce projet fournira au candidat (H/F) les fonds et les ressources nécessaires à son activité (participation à des événements scientifiques, matériel, ordinateur, etc.)

L'ingénieur de recherche (H/F) travaillera au sein du laboratoire LIRMM à Montpelllier.


Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.

Contraintes et risques

Ce poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST) et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.

Informations complémentaires

Informations complémentaires sur le projet : https://www.lirmm.fr/~romashchen/flittla/ir-position.html

Dossier de candidature :
- Curriculum vitae, avec liste des publications
- Lettre de motivation
- Manuscrit de la thèse doctoral, si disponibles