<html><body><div id="zimbraEditorContainer" style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000" class="10"><div>VERIMAG, a leading academic research laboratory, co-operated by the University of Grenoble and the National center for scientific research (CNRS), proposes two industrially-funded (CIFRE) positions :<br></div><div><br data-mce-bogus="1"></div><div>1) With industry partner The MathWorks: algorithmics of convex polyhedra in floating-point.<br data-mce-bogus="1"></div><div><a href="https://www-verimag.imag.fr/Convex-polyhedra-in-floating-point.html?lang=">https://www-verimag.imag.fr/Convex-polyhedra-in-floating-point.html?lang=</a><br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>2) With industry partner STMicroelectronics: certified compilation for security<br data-mce-bogus="1"></div><div><a href="https://www-verimag.imag.fr/Certified-compilation-for-security.html?lang=en">https://www-verimag.imag.fr/Certified-compilation-for-security.html?lang=en</a><br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>In both cases, the candidate is to be hired on a 3-year contract by the industry partner, and will spend half time in the academic laboratory, half time in industry.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>These topics and related areas are also available as regular PhDs, but then the candidate will need to apply for a 3-year scholarship, granted on a competitive basis.<br data-mce-bogus="1"></div><div data-marker="__SIG_PRE__"><br data-mce-bogus="1"></div><div data-marker="__SIG_PRE__"><br data-mce-bogus="1"></div><div data-marker="__SIG_PRE__">Contact me for more information.<br data-mce-bogus="1"></div></div></body></html>