Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
-
planning -Semantic-based Exploration -Source localization -Perception in sensor-degraded environments: -Localization in smoke and dust filled environments -Scene awareness -Biometric/triage evaluations, etc
-
-based cognitive perception - Semantic reasoning for natural environments - Multi-sensor fusion Duties As a PhD student, you devote most of your time to doctoral studies and the research projects of which
-
days, driving snow and dark nights also have a major impact on lighting and can strongly influence a lighting experience. Colored light affects us instinctively, especially if it has a semantic meaning
-
. -Machine learning code generation for autonomous translation of payload data semantics. -Dictionary learning and algorithms for translation between major data modeling languages. -Model-based System
-
, symbolic, and human intelligence, as well as industry-scale reasoning systems. Instances of the former class are different variants of formal argumentation, whereas in the latter case, the focus can lie on
-
documentation is in English. Assessment The following criteria constitute the basis of assessment applied in the selection: Meeting the formal qualification requirements for admission into the PhD programme. The
-
application! We are looking for a PhD student in Visualization Technology and Methodology with a focus on interactive visualization, visual learning, science communication, and educational science, formally
-
that all relevant documents are in English. Assessment Candidates will be assessed based on the following criteria: formal qualification requirements for admission into the PhD program. Quality