Informations générales
Intitulé de l'offre : Postdoctoral position around computability by ordinary differential equations (M/F) (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 : According to experience
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
The work corresponds to a postdoctoral position focused on computability via differential equations.
Activités
The recruited candidate will be responsible for conducting research within the framework of the ANR OTC (Ordinal Time Computation) project. They will be expected to develop scientific results related to computability and the complexity of computation via differential equations.
Compétences
Knowledge in computability, mathematical analysis, ordinal theory, and Baire hierarchies.
Contexte de travail
Work at LIX, the Computer Science Laboratory of École Polytechnique.