Sort by
Refine Your Search
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
- Post Doc Applicants Only: academic track record with publications at top-tier venues in computer vision, graphics, or machine learning (CVPR, ECCV/ICCV, Siggraph, Siggraph Asia, NeurIPS, ICML, ICLR) How
Enter an email to receive alerts for post-doc-machine-learning "https:" positions