Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Princeton University
- University of Copenhagen
- ;
- Argonne
- Brown University
- Chalmers University of Technology
- DURHAM UNIVERSITY
- Durham University
- Los Alamos National Laboratory
- Max Planck Institute for the Structure and Dynamics of Matter, Hamburg
- NEW YORK UNIVERSITY ABU DHABI
- Nature Careers
- New York University
- Purdue University
- Technical University of Denmark
- Technical University of Munich
- Tsinghua University
- UNIVERSITY OF HELSINKI
- UNIVERSITY OF VIENNA
- Universiteit van Amsterdam
- University College Cork
- University of Greifswald
- University of Miami
- University of Minnesota
- University of Nevada, Reno
- University of Oslo
- University of Vienna
- 18 more »
- « less
-
Field
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
Searches related to stochastic processes
Enter an email to receive alerts for stochastic-processes positions