-
, robust, and trustworthy robotic technologies. Your research will span core challenges such as robot control, decision-making under uncertainty, multimodal information fusion, and foundational models
-
to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates
Searches related to model checking
Enter an email to receive alerts for model-checking positions