Sort by
Refine Your Search
-
, with potential avenues including generative models, optimization tasks, or other specific applications. The candidate will work in the context of the project ML-QSIM, a 4-year, 2M€ project funded by
Searches related to model checking
Enter an email to receive alerts for model-checking positions