3 formal-semantics PhD positions at Lulea University of Technology in Sweden

PhD Student in Dependable Communications and Computations

Lulea University of Technology | Sweden | about 14 hours ago

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

PhD Student in Robotics and Artificial Intelligence

Lulea University of Technology | Sweden | 3 months ago

planning -Semantic-based Exploration -Source localization -Perception in sensor-degraded environments: -Localization in smoke and dust filled environments -Scene awareness -Biometric/triage evaluations, etc

PhD Student in Cyber-Physical Systems

Lulea University of Technology | Sweden | 2 months ago

. -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