<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=""><div class="">Applications are invited for PhD student or postdoc positions at Ecole Polytechnique in Paris, France. The successful candidates will work under the supervision of Sylvie Putot (<a href="https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/index.html__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_oy6KxunF$" class="">http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/index.html</a>) and Eric Goubault (<a href="https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Eric.Goubault/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o-K0IXg7$" class="">http://www.lix.polytechnique.fr/Labo/Eric.Goubault/</a>) on formal verification and analysis techniques of neural networks (used for classification or as part of a larger cyber-physical system). The students will interact also with the project members of the SAIF project <a href="https://urldefense.com/v3/__https://project.inria.fr/saif/project-members/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o3U8muCj$" class="">https://project.inria.fr/saif/project-members/</a> through regular project meetings. The particular research topic will be determined based on the common interests of the candidate and the supervisors, and can be either theoretical or practical. Possible themes in the area of formal methods for robustness and explainability of AI include the analysis of ReLU activated neural networks (possibly using tropical methods), generalized reachability problems and hyperproperties, probabilistic properties and imprecise probabilities etc. </div><div class=""><br class=""></div><div class="">Candidates should have a strong background in computer science with an interest in formal methods, abstract interpretation/set-based methods, artificial intelligence, cyber-physical systems... </div><div class=""><br class=""></div><div class="">Interested candidates should send their application (CV, references, motivation letter) via e-mail at {sylvie.putot,<a href="mailto:eric.goubault%7D@polytechnique.edu" class="">eric.goubault}@polytechnique.edu</a></div><div class=""><br class=""></div><div class="">Best regards, and happy New Year,</div><div class="">Eric Goubault and Sylvie Putot. </div></body></html>