-
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
-
06.09.2021, Academic staff The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is funded by
-
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