2 post-doc-machine-learning "https:" Postdoctoral scholarships

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 7 days ago

: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification

PhD and PostDoc Positions in Visual Computing & Artificial Intelligence (Prof. Niessner)

Technical University of Munich | Germany | about 1 month ago

- 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