1 formal-verification PhD positions in France

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification positions

PhD position M/F in Verification of probabilistic properties for Artificial Intelligence

CNRS | Palaiseau, le de France | France | 3 months ago

zonotopic Dempster-Shafer approach to the quantitative verification of neural networks. In Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I, page

Searches related to formal verification

Enter an email to receive alerts for formal-verification positions