Post-doctorant ou Post-doctorante en informatique - CDD 1 an

Présentation de Télécom SudParis :

Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l’excellence scientifique de son corps professoral et une pédagogie mettant l’accent sur les projets d’équipes, l’innovation de rupture et l’entreprenariat. Télécom SudParis compte 1 000 étudiantes et étudiants dont 700 élèves ingénieurs et environ de 150 doctorantes et doctorants. Télécom SudParis fait partie de l’Institut Mines-Télécom, premier groupe d’école d’ingénieurs en France, et partage son campus avec Institut Mines-Télécom Business School. Télécom SudParis est co- fondatrice de l'Institut Polytechnique de Paris (IP Paris), Institut de Sciences et Technologies à vocation mondiale avec l’École polytechnique, l’ENSTA Paris, l’ENSAE Paris, l'ENPC et Télécom Paris. Vidéo présentation de Télécom SudParis

À propos de l'Institut Mines-Télécom :

Vidéo de présentation de l'Institut Mines-Télécom

Missions

Le serverless est un paradigme récent pour programmer des applications distribuées. Dans ce paradigme, une application est divisée en fonctions qui sont automatiquement gérées à la demande et à l'échelle par le fournisseur cloud. Ceci abstrait l'infrastructure et simplifie grandement l'utilisation du cloud. Malheureusement, le serverless est complexe à utiliser et à appréhender aujourd'hui. L'environnement serverless est par nature imprévisible et non déterministe, ce qui le rend difficile à comprendre et à contrôler. Les fonctions sont sans état (stateless), redémarrant à chaque invocation. Néanmoins, elles doivent souvent accéder à un service de stockage externe, ce qui les expose à des états obsolètes ou incohérents. Étant distribuées, les fonctions doivent également gérer la concurrence, des pannes imprévisibles ou l'impossibilité d'atteindre un consensus.

Pour répondre à ces défis, le projet Centeanes, financé par l'ANR, ambitionne d'améliorer le serverless sous les angles de la correction, de l'efficacité et de l'expressivité, dans un contexte applicatif réel. Il est porté par un consortium composé de Télécom SudParis, Université Paris Cité, Sorbonne Université, École Polytechnique et ZettaScale Technology. L'objectif du consortium est de développer des outils permettant de spécifier, programmer et exécuter des applications serverless correctes par construction (correct-by-design). Cela inclut un cadre formel pour étudier les fondements du serverless computing, un runtime efficace et une chaîne d'outils pour programmer et vérifier ces applications. La conception sera guidée par des benchmarks et validée par des applications industrielles à grande échelle dans le cloud ou en périphérie (edge).

Activités

- Etre responsable des aspects liés à l'infrastructure dans le projet Centeanes

- Développer un runtime serverless de nouvelle génération permettant l'exécution d'applications serverless correctes par construction

- Développer en étroite collaboration avec les autres partenaires du projet

- Prendre en charge nativement des opérateurs avec état et minimiser les déplacements de données dans l'infrastructure. Dans ce runtime, les fonctions sont adressables, permettant une communication directe entre elles

- Implémenter de manière cohérente avec les modèles théoriques développés dans Centeanes afin de permettre un raisonnement formel sur les applications serverless

- Collaborer sur d'autres axes de recherche clés du projet, notamment la définition d'une sémantique formelle pour le serverless et la vérification d'applications distribuées cloud-native à l'aide de model checking et/ou de prouveurs de théorèmes

Formation

• Doctorat ou PhD en informatique, mathématiques ou domaine connexe depuis moins de 3 ans 
  

Compétences, connaissances et expériences indispensables

• Connaissances en informatique distribuée et en systèmes distribués
• Expertise en développement et déploiement de systèmes et de runtimes
• Expertise en conception et analyse d'algorithmes
• Excellentes compétences en communication scientifique
• Maitrise de la rédaction en anglais

Capacités et aptitudes

• Rigueur, méthode de gestion de projets
• Aisance relationnelle avec des interlocuteurs de tous niveaux, esprit d’écoute et de coopération
• Capacité à travailler en équipe
• Respect strict des obligations de confidentialité au regard des données utilisées
• Capacité de synthèse
• Curiosité
• Intérêt pour les nouvelles technologies

Informations complémentaires et candidature

• Date limite de candidature : 19 mars 2025
• Nature du contrat : CDD 1 an renouvelable
• Catégorie et métier du poste (usage interne): II - P, Post-doctorant ou A (fonction publique)
• Poste ouvert aux métiers de niveau immédiatement inférieur (usage interne)
• Localisation du poste: Palaiseau (91)
  
• Les postes offerts au recrutement sont ouverts à toutes et tous avec, sur demande, des aménagements pour les candidats en situation de handicap
• Conditions de travail : Télétravail possible, restaurant et cafétéria sur site, accessibilité en transport en commun (avec participation de l'employeur) ou proche des axes routiers, association du personnel et association sportive sur le campus
• Personnes à contacter : Pierre SUTRA, pierre.sutra@telecom-sudparis.eu