-
learning, safety-critical control, probabilistic modeling, verification, or optimization; Excellent communication skills in English and the ability to work both independently and collaboratively in
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
Searches related to probabilistic forecasting
Enter an email to receive alerts for probabilistic-forecasting positions