Sort by
Refine Your Search
-
Listed
-
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
-
knowledge in another way. Documented basic knowledge of programming, preferably interaction and/or web programming, and human-computer interaction is required. Experience and/or knowledge of semantic web
-
twins, semantic modeling, secure data exchange, and reconfigurable production architectures. The research will also be carried out in LTU’s AIC³ Lab, an advanced test environment for future industrial
-
intelligent, adaptive, and sustainable industrial systems. The work involves topics such as AI-assisted automation engineering, digital twins, semantic modeling, secure data exchange, and reconfigurable
-
interaction and/or web programming, and human-computer interaction is required. Experience and/or knowledge of semantic web technologies, such as ontologies and semantic web standards, as well as graph data and
-
training workshops and international conferences. How to apply* Website: Formal applications must be submitted through this link: https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator
-
(Switzerland) Fundación Miguel Servet (Spain) Participation in specialised training workshops and international conferences. How to apply* Website: Formal applications must be submitted through this link: https
-
Scholars of The University of Cambridge (United Kingdom) Amicoat AS (Norway) Participation in specialised training workshops and international conferences. How to apply* Website: Formal applications must be
-
planning -Semantic-based Exploration -Source localization -Perception in sensor-degraded environments: -Localization in smoke and dust filled environments -Scene awareness -Biometric/triage evaluations, etc
-
. -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