PhD student SAMOVAR Laboratory - 3 years Doctoral contract

European Commission; France; Sur place; EUR 40 000 - 60 000; Plein temps

Résumé du poste

Le Télécom SudParis recherche un doctorant en sciences informatiques pour un projet centré sur la gestion de données graphiques en environnements distribués. Ce projet vise à concevoir des structures de données répliquées et des mécanismes de mise à jour fiables, impliquant des techniques de validation formelles. Le candidat idéal doit avoir un Master en informatique ou mathématiques, avec un intérêt marqué pour les méthodes formelles et les systèmes distribués.

Prestations

Télétravail possible

Restaurant et cafétéria sur site

Accessibilité par transport public

Qualifications

• Intérêt pour les méthodes formelles et la recherche interdisciplinaire.
• Connaissance en programmation fonctionnelle est un plus.
• Motivation pour mener des recherches de haute qualité.

Responsabilités

• Explorer l'expressivité des invariants structurels dans les graphes.
• Concevoir des structures de données graphiques répliquées.
• Spécifier et vérifier formellement les mécanismes de mise à jour.

Connaissances

Méthodes formelles

Langages de programmation

Systèmes distribués

Compétences mathématiques

Capacités d'abstraction

Formation

Master en informatique ou mathématiques

Description du poste

Organisation/Company TELECOM SUDPARIS Department TELECOM SUDPARIS Research Field Computer science » Database management Mathematics Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country France Application Deadline 7 Aug 2025 - 00:00 (Europe/Paris) Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Sep 2025 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No

Offer Description

ABOUT TELECOM SUDPARIS

Telecom SudParis is a public graduate school for engineering, which has been recognized on the highest level in the domain of digital technology. The quality of its courses is founded on the scientific excellence of its faculty and on teaching techniques that emphasize project management, innovation and intercultural understanding. Telecom SudParis is part of the Institut Mines-Telecom, the number one group of engineering schools in France, under the supervision of the Minister for Industry. Telecom SudParis with Ecole Polytechnique, ENSTA Paris, ENSAE Paris, ENPC and Telecom Paris are co-founders of the Institut Polytechnique de Paris, an institute of Science and Technology with an international vocation.Vidéo présentation de Télécom SudParis

MISSIONS:

Graph databases offer a powerful and expressive model for managing complex, interconnected data across domains such as genomics, transportation, finance, and collaborative systems. As these workloads scale and are deployed across distributed environments, ensuring data correctness under replication, partitioning, and concurrent access becomes increasingly difficult. Many applications depend on structural and semantic invariants that must be preserved even under concurrent updates and temporarily inconsistent replicas.

This PhD project focuses on enabling reliable and verifiable graph data management in distributed, weakly consistent settings. The goal is to design replicated data structures and update mechanisms that maintain both syntactic well-formedness and rich semantic constraints, despite asynchronous and potentially conflicting operations. While CRDTs provide well-understood solutions for sets and maps, extending these principles to property graphs, which are inherently compositional structures with complex schema and semantic requirements, remains an open challenge.

The research will explore modular, formally grounded techniques for specifying, analyzing, and verifying the behavior of replicated graph structures. This includes the use of declarative specification languages, logic-based modeling, and formal verification tools such as proof assistants and deductive frameworks. Situated at the intersection of distributed systems, graph databases, and formal methods, the project offers opportunities to advance foundational theory and contribute practical tools in collaboration with academic and industrial partners.

The work will be carried out at Télécom SudParis, with close ties to the Laboratoire d'Informatique Gaspard-Monge (LIGM), l'Institut de recherche en informatique fondamentale (IRIF) - France, University of Kaiserslautern-Landau (RPTU) - Germany,NOVA LINCS - Portugal, as well as the other academic and industrial partners involved in the ANR JCJC VERDI.

ACTIVITIES:

The PhD will focus on:

• Exploring the expressiveness of structural and semantic invariants in property graphs.
• Designing replicated graph data structures that preserve these invariants under concurrency.
• Formally specifying and verifying the correctness of associated update mechanisms.
• Implementing and evaluating the proposed techniques on real-world use cases.

Level of training and / or experience required:

• Master in degree (or equivalent) in Computer Science or Mathematics

Essential skills, knowledge and experience:

• Interest in formal methods, programming languages, or distributed systems.
• Knowledge of functional/logic programming, interactive theorem proving, or deductive verification is a plus.
• Strong mathematical and abstraction skills.
• Motivation to conduct high-quality research in an interdisciplinary and collaborative environment.

Abilities and skills:

• Ability to work as part of a team within national or international research contracts, in collaboration with academic and industrial partners
• Good interpersonal skills
• Ability to synthesize and write
• Interest in new technologies
• Autonomy

Research Field Computer scienceMathematics Years of Research Experience None

Additional Information

• Nature of the contract: 3 years Doctoral contract
• Category and profession of the position: II – T (PhD student)
• To apply, please send us a CV, a cover letter
• Location of the position : Evry-Courcouronnes (France)
• The positions offered for recruitment are open to all with, on request, accommodations for candidates with disabilities
• Working conditions: Teleworking possible, restaurant and cafeteria on site, accessibility by public transport (with employer's participation) or close to main roads, staff association and sports association on campus

Please send a cover letter, CV, Academic transcripts, Contact information for at least one academic reference