Home > Verimag > Jobs and Internships > Jobs and Internships
Jobs and Internships
Masters
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Models of Distributed Algorithms
- Self-Stabilization in TVG
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Decision Procedure for Equivalence Relations
- Simulation of Distributed Algorithms
Professors and assistant professors
- Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
Si vous êtes intéressé.e, n’hésitez pas à contacter les responsables d’équipes et la direction, par mail de préférence. Le profil recherche est disponible ci-dessous.
Contact direction : Florence.Maraninchi univ-grenoble-alpes.fr
