Internship offers for the academic year 2024–2025:
- Stage 2024–2025 : Composition et communication directe entre fonctions serverless
- Internship 2024–2025: Rigorous development of database backends
- Internship 2024–2025: Verification for the Varda distributed programming language
- Internship 2024–2025: a Kubernetes-based backend for the Varda distributed programming language
PhD and post-doc topics:
- PhD topic: Verification for modular distributed programming
- Post-doc: A programming and verification environment for distributed computing
Earlier topics, which may still be relevant; contact us if you are interested in one of these topics
- 2022 PhD topic – Consistency trade-offs in edge computing
- 2021 — M2 Internship: Synchronisation-free mobile gaming
- 2021 — M2 Internship: Study and performance benchmarking of Collaborative Edge systems
- 2021 — M2 Internship: Placement algorithm for distributed applications
- 2020 — L3 Internship: Performance benchmarking for geo-distributed databases
