[TYPES/announce] PhD positions in Grenoble, France

[Radu Iosif]

The VERIMAG laboratory in Grenoble (http://www-verimag.imag.fr/) is seeking several outstanding PhD candidates to fill 3-years funded positions on the following subjects:

1. Software Vulnerability Analysis with Respect to Countermeasure and Attacker Models
Advisors: Marie-Laure.Potet <mailto:Marie-Laure.Potet at univ-grenoble-alpes.fr> and Laurent.Mounier <mailto:Laurent.Mounier at univ-grenoble-alpes.fr>
URL: https://www-verimag.imag.fr/Funded-PhD-software-vulnerability.html

2. Convex Polyhedra in Floating Point
Advisors:  David Monniaux <mailto:David.Monniaux at univ-grenoble-alpes.fr> and Michael Perin <mailto:Michael.Perin at univ-grenoble-alpes.fr>
URL: https://www-verimag.imag.fr/Convex-polyhedra-in-floating-point.html

3. Decision Procedures for Inductive Separation Logic Modulo Data Theories
Advisors: Nicolas Peltier <mailto:Nicolas.Peltier at univ-grenoble-alpes.fr> (LIG) and Radu Iosif <mailto:Radu.Iosif at univ-grenoble-alpes.fr>(VERIMAG)
URL: http://nts.imag.fr/images/2/25/SepLogDataPhD.pdf

4. Proving Correctness of Reconfigurable Systems
Advisors: Radu Iosif <mailto:Radu.Iosif at univ-grenoble-alpes.fr>
URL: http://nts.imag.fr/images/5/58/Reconfiguration.pdf

This list is not exhaustive and we encourage potential candidates to contact us and discuss possible alternative subjects.

How to apply: contact directly the person in charge for each subject. In the French system, PhD candidates start their work with a 6-month internship (part of the Master) before signing up for a 3-year PhD contract. The internship is not required for students coming from non-French universities (including the European Union) that may start working directly on their PhD.

Hosting institution: VERIMAG is an academic laboratory focusing on theoretical and practical aspects of formal methods for embedded system  development. Since its creation, in 1993, VERIMAG has a proven record in both basic theoretical research and in development of tools for system verification. In the recent years, VERIMAG became deeply involved in the area of rigorous construction of embedded cyber-physical systems. VERIMAG hosts 20 professors, 7 full-time researchers and over 15 PhD students.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210521/afc17cfe/attachment-0001.htm>