The Inria center of Rennes is opening a PhD position at the cross-roads of formal methods and machine learning :
Machine Learning Trustability : Learning and Verification of Soft Automata
Details of the offer can be found here https://recrutement.inria.fr/public/classic/en/offres/2025-08697
Applications can be sent through the same page.
