Home > Verimag > Jobs and Internships > Jobs and Internships
Jobs and Internships
Engineers
Masters
- [M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
- [M1 internship] Modeling of Graph Topologies Using Coq
- [M2 internship] Models of Distributed Algorithms
