Sort by
Refine Your Search
-
Listed
-
Field
-
06.09.2021, Wissenschaftliches Personal The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is
-
often represented in large neural networks that are hard to analyze and whose decision processes cannot be interpreted by humans. To make this technology available without sacrificing safety concerns, we
-
- PhD student in 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
-
, Human-Computer Interaction, and their responsible applications. Ideal candidates will have: An M.Sc. degree (or equivalent) in Computer Science, Game Engineering, Mathematics, Statistics, or related
-
stage. This is a transport ship with kite-based propulsion and an additional diesel engine to bridge port trips and wind lulls. In this project, we develop with CargoKite a new type of collision avoidance
-
, for example, the natural and engineering sciences or medicine Strong interdisciplinary exchange with the applied sciences, e.g., for model validation or the identification of relevant extensions Mathematical
-
technology. Our pre-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
-
study the degradation/evolution of the sensor chemistries under operating conditions. Qualified applicants must have: • A master's degree/PhD in chemistry, chemical engineering, materials science, or
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
-robot-teams, haptic assistance, cyber-physical systems, and infrastructure systems. While our core competence is control engineering, we have some interdisciplinary collaborations with the fields
-
with the German Aerospace Center’s Remote Sensing Technology Institute, has created the biggest European research team on AI for Earth Observation (AI4EO) over the past few years. Starting in 2022, we will