Sort by
Refine Your Search
-
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
-
of results in scientific journals Requirements PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods
-
of results in scientific journals Requirements: PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods
-
of information processing), and formal epistemology (in particular, formal representations of inattentiveness and unawareness). This project will involve philosophical / linguistic analysis, experiments with human
-
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
-
soon hold) a PhD degree in Linguistics or a similar Language Science area are eligible for the role. The ideal candidate for this position has: a solid background in formal linguistics, particularly
-
focuses on Sonic Efficacy in Global Southern Asia. Sonic efficacy in global Southern Asia employs immersive ethnography and participant observation, sound studies and sensory anthropology methods to pursue
-
- 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