Sort by
Refine Your Search
-
derivation, analysis, and comparison of numerical methods and simulation approaches for the solution of PDEs Formal proofs, e.g., for convergence, existence, and uniqueness of solutions Fast prototyping of new
-
interdisciplinary team. Applicants with strong background in the following fields are preferred: Dynamical Systems Control Theory Formal Methods Machine Learning Context The applicant will be directly advised by Prof
-
brings together methodologists (from areas like statistics, computer science or formal demography) with population scientists in order to foster cross-pollination of ideas, to advance methods and theories
-
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
-
- 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