2 master positions at LIX, Ecole Polytechnique in france

Set-based verification of quantified properties of neural networks

Requirements Master in math or CS or AI. Candidates should have a strong background in computer science with an interest in formal methods, abstract interpretation/set-based methods, artificial intelligence, and

Probabilistic analysis of neural networks

Requirements Master in math or CS or AI. Candidates should have a strong background in computer science with an interest in formal methods, abstract interpretation/set-based methods, artificial intelligence, and