2 physics positions at LIX, Ecole Polytechnique in France

Set-based verification of quantified properties of neural networks

interpretation/set-based methods, artificial intelligence, and possibly the application to cyber-physical and controlled systems. The application should contain a motivation letter, an academic CV with transcripts

Probabilistic analysis of neural networks

interpretation/set-based methods, artificial intelligence, and possibly the application to cyber-physical and controlled systems. The application should contain a motivation letter, an academic CV with transcripts