-
of MIRMI. At the Geriatronics Research Center – part of MIRMI and located in Garmisch-Partenkirchen – we develop cutting-edge solutions to enhance quality of life in older age and improve the efficiency
-
- 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
Searches related to quality and reliability engineering
Enter an email to receive alerts for quality-and-reliability-engineering positions