-
optimal transport and gradient flows to machine learning and optimization applications, such as deep generative models, sampling, inference, stochastic optimization, and beyond. The doctoral student will
-
their doctoral thesis. Experience from research and development work within the industry or other organizations is considered to correspond to a traditional postdoc visit to another university. an interest in and
Searches related to model checking
Enter an email to receive alerts for model-checking positions