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
- 9 avril 2020 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 est disponible ci-dessous.
Contact direction : Florence.Maraninchi univ-grenoble-alpes.fr
INFORMATION IMPORTANTE : la date limite de candidature est repoussée au 9 avril.
