Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- Linköping University
- University of Lund
- Chalmers University of Technology
- Lulea University of Technology
- Swedish University of Agricultural Sciences
- Jönköping University
- Linnaeus University
- Mälardalen University
- Nature Careers
- SciLifeLab
- Luleå University of Technology
- Malmö universitet
- Umeå University
- 3 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
-
at the Department of Computer and Information Science will focus on the usability and interaction with semantic technologies. Based on the semantic web technology stack for implementing DPPs, and an ontology-based
-
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
-
environments - Semantic scene-understanding in natural environments for robust decision-making - Learning-based traversability-aware path planning and safe trajectory generation - Resilient mission design for
-
classification and multi-layered environment mapping - Digital twin generation for natural environments - Semantic scene-understanding in natural environments for robust decision-making - Learning-based
-
-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
-
planning -Semantic-based Exploration -Source localization -Perception in sensor-degraded environments: -Localization in smoke and dust filled environments -Scene awareness -Biometric/triage evaluations, etc
-
formal verification of automation systems. Engage in teaching at undergraduate and master's levels, if required. Collaborate with partners across academia, industry, and society. Qualifications PhD degree
-
classification and multi-layered environment mapping -Digital twin generation for natural environments -Semantic scene-understanding in natural environments for robust decision-making -Learning-based