Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- Humboldt-Stiftung Foundation
- Technical University of Munich
- University of Tübingen
- Ludwig-Maximilians-Universität München •
- Nature Careers
- DAAD
- Fraunhofer-Gesellschaft
- Leibniz
- Leipzig University •
- Max Planck Institute for Molecular Genetics •
- Technische Universität München
- University of Konstanz •
- University of Münster •
- University of Regensburg •
- University of Stuttgart •
- 5 more »
- « less
-
Field
-
, or willingness to work with them Experience with multi-modal machine learning methods Familiarity with formal linguistics, particularly formal semantics and pragmatics We encourage applications from individuals
-
. This requires proficiency in Python and familiarity with modern ML libraries. Scope: Identifying and formalizing evaluation properties for concept-based XAI methods Adapting an existing benchmark suite
-
of information processing), and formal epistemology (in particular, formal representations of inattentiveness and unawareness). This project will involve philosophical / linguistic analysis, experiments with human
-
complementary methodologies (corpus data and offline experimental measures). On the theoretical side, the project will develop a formal compositional model that generates the observed parameters of variation and
-
are seeking to appoint an internationally highly visible researcher engaged in the field of Physical Chemistry of Molecular Systems with a focus on Experimental Method Development. The scientific activities
-
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
-
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
-
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
-
international backgrounds, BIPS’s research covers the full spectrum from methods development and identification of disease causes to prevention and implementation research. The work is supported by extensive
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of