Sort by
Refine Your Search
-
of information processing), and formal epistemology (in particular, formal representations of inattentiveness and unawareness). This project will involve philosophical / linguistic analysis, experiments with human
-
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
-
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
-
crosslinguistic investigations into the morphosyntactic and prosodic forms and pragmatic functions of reprise questions and reprise fragments, using experimental syntactic methods and speech production and
-
human patient samples and cutting-edge AI-driven analyses Validate computational findings through functional laboratory experiments Develop and optimize protocols involving omics methods, immune cell
-
/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
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification