Sort by
Refine Your Search
-
Helmholtz-Zentrum Berlin für Materialien und Energie | Berlin, Berlin | Germany | about 2 months ago
publication of the results (in English language) Your Profile Successful master's degree in chemistry or a comparable field of study - for PhD Student Position PhD in polymer chemistry, electrochemistry, or a
-
finite elements) as well as alternative discretization methods (e.g., Lattice Boltzmann Methods), and high-performance computing. A selection of possible research areas can be found on our website: https
-
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