PhD scholarship within Predictive Runtime Verification of AI-enabled Robotic Autonomous Systems
Norwegian University of Life Sciences (NMBU)Universitetstunet 3, 1430 Ås2026-12-01
- Formal Methods
- Runtime Verification
- AI / Machine Learning
- Autonomous Systems / Control
- Software Development for Robotics
- +3 til
