Sort by
Refine Your Search
-
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
-
planning -Semantic-based Exploration -Source localization -Perception in sensor-degraded environments: -Localization in smoke and dust filled environments -Scene awareness -Biometric/triage evaluations, etc
-
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
-
the formulation of the research questions and approaches linguistic comprehensibility and formal aspects Appointment Procedure The application should be submitted through Varbi Lund University job application
-
, 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
-
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
-
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
-
. The position is placed in the Division for Computer Networks and Systems and is formally employed by Chalmers University of Technology. Our research spans from theoretical computer science to applied systems