Offers for the academic year 2023–2024:
- M2 internship: Rigorous development of database backends
- M2 Internship: Enhancing verification for modular distributed programming
- M2 Internship: Efficient compilation of a modular distributed programming language
- 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
