Informations générales
Intitulé de l'offre : Postdoctorat autour de la calculabilité par équations différentielles (H/F)
Référence : UMR7161-OLIBOU-002
Nombre de Postes : 1
Lieu de travail : PALAISEAU
Date de publication : lundi 30 juin 2025
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 18 mois
Date d'embauche prévue : 1 septembre 2025
Quotité de travail : Complet
Rémunération : Selon expérience
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 06 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Missions
Le travail correspond à un stage postdoctoral autour de la calculabilité par équations différentielles. Ce travail correspond au projet ANR OTC https://anr.fr/Projet-ANR-24-CE48-0335.
Activités
Le ou la recrutée sera en charge de travaux de recherche dans le cadre de l'ANR OTC (Ordinal Time Computation). Il devra développer des résultats scientifiques autour de la calculabilité et la complexité du calcul par équations différentielles. Il s'agira de caractériser la complexité des problèmes associés en utilisant les outils de la complexité descriptive, calculabilité, ou de la topologie.
Compétences
Connaissances en calculabilité, en analyse mathématiques, théorie des ordinaux, hiérarchies de Baire, systèmes dynamiques. Une expertise dans un de ces domaines est clairement un plus.
Contexte de travail
Le travaiil sera effectué au LIX, laboratoire d'informatique de l'X.