2 formal-semantics Postdoctoral positions at Luleå University of Technology in Sweden
Sort by
Refine Your Search
-
. 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
-
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
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions