15 parallel-computing-numerical-methods Postdoctoral scholarships at Technical University of Munich
-
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
-
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
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods
-
questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG. The project’s overarching goal is the
-
Systems Control Theory Formal 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
-
(especially LLMs / VLMs) Human-AI Interaction Or Bring-your-Own research topic Who We Are Looking For: We seek highly motivated and talented individuals passionate about AI, Human-Computer Interaction, Eye
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
for an interdisciplinary “bridge-builder” who strives for Scientific Excellence and Real-World Purpose. ● Background: HCI (Human-Computer Interaction), Computer Science, Ethnography, Sociology, or a related
-
). 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
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
of such systems, taking particularly into account model uncertainties as well as limitations pertaining to acquisition of data, communication, and computation. We apply our methods mainly to human-robot-teams