Verimag

Home > Verimag > Jobs and Internships > Jobs and Internships

Jobs and Internships

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

News

NEWS
- Master Scholarships for the academic year 2018-2019

Conferences
- 28 - 30 mai 2018 GT Verif 2018
- 13 July 2018 ADSL 2018
- 26-28 september 2018 VECoS 2018
- 10-13 November 2018 RV 2018

Seminars

Seminars
- 17 May 2018 Michael Perin: Automatic grading: take a cegar and let the machine do your work

New publications

Recent Publications

Jobs and internships

Jobs and internships

Browsing

Sections

Verimag
Teams
Contact
Site Map

Search:

Building Access

Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 989582

CNRS

INP Grenoble

English
Français