Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
presentations at international conferences Our requirements Completed PhD in Biology, Biotechnology, Bioinformatics, Immunology, or related field Strong interest in computational science and AI (prior formal
-
/forschung/gruppen/numerical-analysis/research/ Typical responsibilities you can expect: Mathematical derivation, analysis, and comparison of models, methods, and simulation approaches Formal proofs, e.g
-
- 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