Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
research autonomy and acquire the scholarly and teaching qualifications required for the eligibility requirement for appointment as a Senior Lecturer. The research area, formal methods for autonomous systems
-
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
-
-of-the-art semantic and instance segmentation algorithms for 3D and 4D microtomography data. The project has a particular focus towards analysing fibre-based materials but will also consider other material
-
-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
-
, soft actuation Collaborative Sensing, perception and localization - Perception-degraded resilience sensing - Cognitive perception, semantic reasoning Duties The duties of a Postdoc primarily comprise
-
classification and multi-layered environment mapping -Digital twin generation for natural environments -Semantic scene-understanding in natural environments for robust decision-making -Learning-based
-
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