PhD Position F/M Trustable Machine Learning: Analysis and Verification of Soft Automata

Contexte et atouts du poste

Location and environment:

The PhD will take place at INRIA Rennes (Brittany, France).

The candidate will be part of the collaborative project SAIF, “Safe AI through Formal methods,” ( that involves renowned research labs in Computet Science : Inria, CEA-List, LIX, LaBRI, LMF, ENS Paris, ENS Saclay.

Salary includes health insurance and participation to public transportation expenses.

Mission confiée

Topic:

Learning automata from their traces has long been addressed from a purely logical perspective (e.g. Angluin’s L* algorithm), until neural architectures offered an amazing alternative : ground breaking performances, summoning models at the boundary between the continuous world and the discrete world, leveraging probabilistic approaches... but providing no guarantees on the models produced by the learning algorithms !The objective of this thesis is to she...