Sort by
Refine Your Search
-
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
-
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
-
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
-
(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
-
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
-
The Leibniz Institute for Solid State and Materials Research Dresden e. V. (IFW Dresden) conducts modern materials research on a scientific basis for the development of new and sustainable materials and technologies. The institute employs an average of 500 people from over 40 nations and, in...
-
). 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