[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The VERIMAG laboratory in Grenoble (http://www-verimag.imag.fr/
<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:[email protected]
<mailto:[email protected]>> and Laurent.Mounier
<mailto:[email protected]
<mailto:[email protected]>>
URL: https://www-verimag.imag.fr/Funded-PhD-software-vulnerability.html
<https://www-verimag.imag.fr/Funded-PhD-software-vulnerability.html>
2. Convex Polyhedra in Floating Point
Advisors: David Monniaux <mailto:[email protected]
<mailto:[email protected]>> and Michael Perin
<mailto:[email protected]
<mailto:[email protected]>>
URL: https://www-verimag.imag.fr/Convex-polyhedra-in-floating-point.html
<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:[email protected]
<mailto:[email protected]>> (LIG) and Radu Iosif
<mailto:[email protected]
<mailto:[email protected]>>(VERIMAG)
URL: http://nts.imag.fr/images/2/25/SepLogDataPhD.pdf
<http://nts.imag.fr/images/2/25/SepLogDataPhD.pdf>
4. Proving Correctness of Reconfigurable Systems
Advisors: Radu Iosif <mailto:[email protected]
<mailto:[email protected]>>
URL: http://nts.imag.fr/images/5/58/Reconfiguration.pdf
<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.
