Sort by
Refine Your Search
-
Country
-
Employer
- Technical University of Munich
- Instituto Politécnico de Bragança
- Université de Limoges
- Helmholtz-Zentrum Berlin für Materialien und Energie
- Institute for Environmental Solutions
- Instituto Superior de Agronomia
- Max Planck Institute for Demographic Research (MPIDR) / University of Helsinki
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
-
Field
-
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 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
-
) and present your work at top conferences and journals in our field. Candidates should have completed their Master/Diploma studies in Computer Science, Mathematics, Mechatronics, Electrical Engineering