2 phd "University of North Carolina" positions at LIX, Ecole Polytechnique in France

Set-based verification of quantified properties of neural networks

& Ecole Polytechnique, France, invites applications for two 3-year PhD positions in formal methods for the analysis of robustness and explainability of neural networks. These positions are fully funded by

Probabilistic analysis of neural networks

& Ecole Polytechnique, France, invites applications for two 3-year PhD positions in formal methods for the analysis of robustness and explainability of neural networks. These positions are fully funded by