Sort by
Refine Your Search
-
Category
-
Program
-
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
-
/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
-
Academic staff for the "Learning Sciences and Educational Design Technologies" working group (f/m/d)
education (WP3) by Identifying one case study in Germany covering two groups of young people involved in formal and informal education, evaluating the case study, identifying inputs and fi-nancial values
-
computer science, electrical engineering, control systems, or a related field. • Prior experience in reachability analysis, formal verification methods, control theory, or related domains. • Proficiency in
-
- 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
-
. The project focuses on developing information theory, coding schemes, and other algorithmic methods for DNA data storage. Here is a video on the topic: https://www.bbc.com/future/article/20151122-this-is-how
-
of the doctoral project is positively evaluated after the first two years. CMS’s inter-disciplinary team is performing research in the broad field of computational methods for the built environment. Particular