PhD and Postdoc Positions in Formal Methods, Trustworthy AI, and Probabilistic Programming at TU Wien Technische Universität Wien in Austria

Technical University of Dresden (TU Dresden) is advertising a Research assistant / PhD student (m/f/d) position in the Faculty of Computer Science, Institute for Theoretical Computer Science , at the Chair of Algebraic and Logical Foundations of Computer Science . The project is within the Collaborative Research Center/Transregio 248, Foundations of Perspicuous Software Systems , and focuses on certifying verification algorithms for stochastic and dynamic systems as well as formal methods for th...

NVIDIA Robotics is hiring PhD research interns for its teams in Santa Clara (US) and Shanghai (China) . The research areas mentioned include robot learning , RL post-training , whole-arm manipulation (WAMs) , real2sim2real , and dexterity . This looks like a strong fit for students working in robotics, computer science, and related engineering fields. The post does not list detailed eligibility criteria, funding, or a deadline. It simply asks interested candidates to complete the linked form. Ho...

RIKEN is recruiting a researcher/postdoctoral-equivalent fixed-term position in the Physical AI Honda R&D Collaboration Team in Saitama, Japan. The role is centered on physical AI , intelligent robotics , perceptual information processing , and machine learning , with a strong emphasis on building systems that connect information and the real world through demonstrations and practical deployment. The team works with Honda R&D Co., Ltd. under a NEDO project to advance dexterous and intelligent ma...

Durham University is advertising a fully funded PhD studentship in Efficient Physical AI for Real-World Robotics , supported by Intel. The project sits at the intersection of computer science , robotics , machine learning , computer vision , reinforcement learning , embodied AI , and edge AI . The research aims to develop capable, efficient, deployable Physical AI for real robots. Possible directions include robot foundation models, vision-language-action models, long-horizon reasoning and plann...

Fully funded PhD opportunity at the University of Sheffield in Neurosymbolic World Models for Robotic Manipulation , starting in October 2027 . This multidisciplinary project spans the School of Computer Science , the School of Electrical and Electronic Engineering , the Centre for Machine Intelligence , Sheffield NLP , and Sheffield Robotics . The topic sits at the intersection of Computer Science , Robotics , Electrical Engineering , and Artificial Intelligence , with a strong focus on neurosy...