Postdoctorat autour de la calculabilité par équations différentielles (H/F)

Job title:

Postdoctorat autour de la calculabilité par équations différentielles (H/F)

Company:

CNRS

Job description

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ésLe 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étencesConnaissances 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 travailLe travaiil sera effectué au LIX, laboratoire d’informatique de l’X.

Expected salary

Location

Palaiseau, Essonne

Job date

Wed, 02 Jul 2025 07:27:33 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesin.eu) you saw this job posting.