Sort by
Refine Your Search
-
- 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
-
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
-
, tungsten-stabilized bismuth oxide, samarium-doped ceria, and Na+-ion conductors such as sodium β-alumina and NASICON. Nevertheless, the relatively low mobility of O2− and Na+ ions necessitate rather high
-
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