[TYPES/announce] PhD Position at VERIMAG (University of Grenoble Alpes and CNRS)

[Radu Iosif]

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.Iosif at univ-grenoble-alpes.fr <mailto:Radu.Iosif at univ-grenoble-alpes.fr>

Best wishes, 

Radu Iosif
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200703/59d9b75d/attachment.htm>