Les missions du poste
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.
Le travaiil sera effectué au LIX, laboratoire d'informatique de l'X.