Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- ;
- Argonne
- BNU-HKBU United International College
- Brown University
- Chalmers University of Technology
- Chinese Academy of Sciences
- DURHAM UNIVERSITY
- Durham University
- Illinois Institute of Technology
- King Abdullah University of Science and Technology
- Los Alamos National Laboratory
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- NEW YORK UNIVERSITY ABU DHABI
- Nature Careers
- New York University
- Princeton University
- Technical University of Denmark
- Technical University of Munich
- Tsinghua University
- UNIVERSITY OF VIENNA
- Universiteit van Amsterdam
- University College Cork
- University of Miami
- University of Minnesota
- University of Nevada, Reno
- University of Oslo
- University of Southern California
- University of Texas at Arlington
- University of Vienna
- Westlake University
- 20 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
Enter an email to receive alerts for stochastic positions