-
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
-
04.02.2026, Academic staff The successful candidates will be part of the Munich Climate Center and the Earth System Modelling group at TUM (https://www.asg.ed.tum.de/esm/home/) and will be closely
-
Branch Office DRC Building D1, 1102A 19 Dongfang Donglu, Chaoyang District 100600 Beijing, VR China Tel.: +86 010/6590 6656 Fax.: +86 (10)/6590-6393 E-Mail.: postmaster@daad.org.cn WWW: http
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
been tremendous progress in formal verification of cyber-physical systems, existing approaches still require expert knowledge. The main goal of this project is to develop essentially new methods
-
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
-
13.03.2023, Academic staff We are looking for motivated students to work on the development and implementation of a cheap and scalable ceramic processing concept towards a fully sprayed Li-based
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair of Information-Oriented
-
new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g
-
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