[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We are seeking outstanding PhD candidates to join the VERIMAG laboratory in
Grenoble (http://www-verimag.imag.fr/) and work on the verification of complex
distributed systems. The research topics are mainly (but not limited to) :
* the logical design and verification of dynamically reconfigurable systems
* decision procedures for resource logics and their application to parametric
system verification
In the French system, PhD candidates start their work with a 6-month
internship, that is part of the Master programme. While this is not formally
required for students coming from non-French universities (including the
European Union), a 6-month evaluation period will apply. A list of available
internship/evaluation topics is available here:
http://nts.imag.fr/index.php/Internship_subjects
The starting date is October 2020. To apply send your CV and a transcript of
university grades to: radu.io...@univ-grenoble-alpes.fr
<mailto:radu.io...@univ-grenoble-alpes.fr>
Best wishes,
Radu Iosif
