Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Linköping University
- Chalmers University of Technology
- Lulea University of Technology
- SciLifeLab
- Luleå University of Technology
- Umeå University
- University of Gothenburg
- Chalmers tekniska högskola
- Jönköping University
- Linnaeus University
- Mälardalen University
- Nature Careers
- Swedish University of Agricultural Sciences
- University of Lund
- KTH Royal Institute of Technology
- Karlstad University
- Linkopings universitet
- Linköpings universitet
- Linneuniversitetet
- Lunds universitet
- Malmö universitet
- Stockholms universitet
- Umeå universitet
- 13 more »
- « less
-
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
-
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
-
. The work involves areas such as AI-assisted automation engineering, digital twins, semantic modeling, secure data exchange, and reconfigurable production architectures. The research is carried out in
-
: UPPRAISE and MEDUSA. These projects aim to advance intelligent, adaptive, and sustainable industrial systems. The work involves areas such as AI-assisted automation engineering, digital twins, semantic
-
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
-
robots operating in cluttered and semantically complex environments. -Advance ground-aerial collaborative autonomy methods for resilient multi-modal navigation and situational awareness. -Mission-specific
-
semantic representation models for sign language. Such representations are key to allowing SL to be efficiently processed by large language models (LLMs), and will lead to machine learning models that can