1 model-checking Postdoctoral positions at University of Luxembourg

Postdoctoral Researcher in Verification & Validation of learning-based perception systems for robotic proximity operations

University of Luxembourg | Luxembourg | about 3 hours ago

. For further information, you may check: wwwen.uni.lu/snt/research/spacer and www.spacer.lu The candidate will lead the development of a V&V framework for AI-augmented perception systems and will be responsible