<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=us-ascii" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">The VERIMAG laboratory in Grenoble (<a href="http://www-verimag.imag.fr/" class="">http://www-verimag.imag.fr/</a>) is seeking several outstanding PhD candidates to fill 3-years funded positions on the following subjects:</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">1. Software Vulnerability Analysis with Respect to Countermeasure and Attacker Models</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">Advisors: Marie-Laure.Potet <<a href="mailto:Marie-Laure.Potet@univ-grenoble-alpes.fr" class="">mailto:Marie-Laure.Potet@univ-grenoble-alpes.fr</a>> and Laurent.Mounier <<a href="mailto:Laurent.Mounier@univ-grenoble-alpes.fr" class="">mailto:Laurent.Mounier@univ-grenoble-alpes.fr</a>></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">URL: <a href="https://www-verimag.imag.fr/Funded-PhD-software-vulnerability.html" class="">https://www-verimag.imag.fr/Funded-PhD-software-vulnerability.html</a></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">2. Convex Polyhedra in Floating Point</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">Advisors:  David Monniaux <<a href="mailto:David.Monniaux@univ-grenoble-alpes.fr" class="">mailto:David.Monniaux@univ-grenoble-alpes.fr</a>> and Michael Perin <<a href="mailto:Michael.Perin@univ-grenoble-alpes.fr" class="">mailto:Michael.Perin@univ-grenoble-alpes.fr</a>></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">URL: <a href="https://www-verimag.imag.fr/Convex-polyhedra-in-floating-point.html" class="">https://www-verimag.imag.fr/Convex-polyhedra-in-floating-point.html</a></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">3. Decision Procedures for Inductive Separation Logic Modulo Data Theories</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">Advisors: Nicolas Peltier <<a href="mailto:Nicolas.Peltier@univ-grenoble-alpes.fr" class="">mailto:Nicolas.Peltier@univ-grenoble-alpes.fr</a>> (LIG) and Radu Iosif <<a href="mailto:Radu.Iosif@univ-grenoble-alpes.fr" class="">mailto:Radu.Iosif@univ-grenoble-alpes.fr</a>>(VERIMAG)</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">URL: <a href="http://nts.imag.fr/images/2/25/SepLogDataPhD.pdf" class="">http://nts.imag.fr/images/2/25/SepLogDataPhD.pdf</a></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">4. Proving Correctness of Reconfigurable Systems</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">Advisors: Radu Iosif <<a href="mailto:Radu.Iosif@univ-grenoble-alpes.fr" class="">mailto:Radu.Iosif@univ-grenoble-alpes.fr</a>></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">URL: <a href="http://nts.imag.fr/images/5/58/Reconfiguration.pdf" class="">http://nts.imag.fr/images/5/58/Reconfiguration.pdf</a></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">This list is not exhaustive and we encourage potential candidates to contact us and discuss possible alternative subjects.</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">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.</div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098); min-height: 13px;" class=""><br class=""></div><div style="margin: 0px; font-stretch: normal; font-size: 11px; line-height: normal; font-family: Menlo; color: rgba(0, 0, 0, 0.85098);" class="">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.</div><div class=""><br class=""></div><div class=""><br class="Apple-interchange-newline">
</div>
<br class=""></div></body></html>