2 game-developer-"https:" Postdoctoral scholarships

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

Technical University of Munich | Germany | about 1 month ago

quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky

PhD and PostDoc Positions in 3D Machine Learning / 3D Vision (Prof. Dai)

Technical University of Munich | Germany | about 2 months ago

3D Models From Visual Data: Imagine creating 3D photos, holograms, or your own custom video game content from a quick video observation. We develop generative 3D models from 2D or 3D observations