[PhD] PhD offer – Machine Learning Trustability : Learning and Verification of Soft Automata
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.