[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/index.html__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_oy6KxunF$
<https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/index.html__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_oy6KxunF$
>) and Eric Goubault
(https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Eric.Goubault/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o-K0IXg7$
<https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Eric.Goubault/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o-K0IXg7$
>) 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
https://urldefense.com/v3/__https://project.inria.fr/saif/project-members/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o3U8muCj$
<https://urldefense.com/v3/__https://project.inria.fr/saif/project-members/__;!!IBzWLUs!SLq1Fv2BYNPYVrxHX4KoLUy-gZXRS0nou1UfDhSg8kNSlOtF8yOAVE4SdQ25pbMPubbGLEyNkuPEucsLWcnGgAuThZtJnZsKkqc_o3U8muCj$
> 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.
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...
Interested candidates should send their application (CV, references, motivation
letter) via e-mail at {sylvie.putot,eric.goubault}@polytechnique.edu
<mailto:[email protected]>
Best regards, and happy New Year,
Eric Goubault and Sylvie Putot.
