2 plant-breeding-2015 positions at LIX, Ecole Polytechnique in France

Set-based verification of quantified properties of neural networks

, the contact information of two academic references (name, e-mail, and connection to the applicant). More information on the context of the thesis, practical conditions and the research topics can be found

Probabilistic analysis of neural networks

, the contact information of two academic references (name, e-mail, and connection to the applicant). More information on the context of the thesis, practical conditions and the research topics can be found