En poursuivant votre navigation sur ce site, vous acceptez le dépôt de cookies dans votre navigateur. (En savoir plus)

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

Cette offre est disponible dans les langues suivantes :
- Français-- Anglais

Date Limite Candidature : lundi 21 juillet 2025 23:59:00 heure de Paris

Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler

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.