-
- 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
-
expertise from a wide range of partners in academia and industry, with both application and system expertise. About us CAPS is part of TUM’s department of Computer Engineering, one of the leading CE
-
Advanced software development and data analytics skills Hands-on mentality with first practical experience in developing innovative technology Inquisitive and passionate about research and knowledge transfer
-
28.11.2023, Wissenschaftliches Personal The Institute of Automotive Technology is looking for a talented postdoctoral fellow in the field battery research aiming to continue his/her excellent
-
07.12.2022, Wissenschaftliches Personal The institute for communications engineering offers a position for a doctoral or young postdoctoral candidate with the topic “Communication and coding in
-
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
-
explore 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
-
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