Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
, English, Finnish, French, Italian, Linguistics, Meänkieli, Russian, Sami, Spanish, Swedish and German. For more information about the department, please visit: https://www.umu.se/en/department-of-language
-
confidential basis until the completion of the search process. Inquiries, nominations, referrals, and CVs with cover letters should be sent via the Isaacson, Miller website: https://www.imsearch.com/open
-
understanding vs building risk evaluation); and (iii) the costs of performing the test (including environmental costs). For more information on the project, see the EU announcement: https://cordis.europa.eu
-
temporal resolutions and will likely reveal previously unobservable phenomena in the physical world. This project will investigate novel probabilistic methods for extracting knowledge from data and decision
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification