Sort by
Refine Your Search
-
Listed
-
Employer
-
PhD position / Postdoc position (all genders) in AI for biomedical data analysis Full time/ Part time | Temporary | Hamburg-Eppendorf UKE_Zentrum für Molekulare Neurobiologie (ZMNH) Better together
-
-studies have shown that full automation is possible in principle when formally verifying systems using reachability analysis. However, our pre-studies also showed that further research is needed
-
18.09.2024, Academic staff We have several 𝐏𝐡𝐃 & 𝐏𝐨𝐬𝐭𝐃𝐨𝐜 𝐨𝐩𝐞𝐧𝐢𝐧𝐠𝐬 in our Visual Computing & AI Lab in Munich! Topics have a strong focus on GenAI, including 3DGs, NeRFs, Diffusion
-
good results - Interest on topics around the area of distributed systems and data management - Basic knowledge in distributed systems and graph algorithms is desired - Hand-on experience with large-scale
-
expertise. The Clinical Epidemiology Unit (clinicalepi.de ) uses and develops modern statistical and mathematical methods for the analysis of primary and secondary data. A particular focus of the Unit is the
-
Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff ( https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff/ ). Besides
-
such environments. We investigate machine learning approaches to infer semantic understanding of real-world scenes and the objects inside them from visual data, including images and depth/3D observations. Generating
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and control
-
). AI methods, and especially machine learning (ML) with deep neural networks have replaced traditional data analysis methods in recent years. The Technical University of Munich (TUM), together
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers