PhD Position in Computer Science: Certifying Verification Algorithms and Explainability for Cyber-Physical Systems at TU Dresden Technical University of Dresden in Germany

The Max Planck ETH Center for Learning Systems is advertising PhD positions in AI and related areas. The post highlights opportunities across broad topics in artificial intelligence, with a particular mention of computer vision and representation learning . This is a collaboration between two major research institutions, the Max Planck community and ETH , and is presented as a strong environment for doctoral research. The announcement is a repost/recommendation rather than a direct recruitment m...

Inria Rennes (Brittany, France) is offering a PhD position in Trustable Machine Learning: Analysis and Verification of Soft Automata . The thesis sits at the intersection of computer science , mathematics , formal methods , machine learning , and automata theory , with a strong focus on understanding and verifying neural sequence models. The project is part of the collaborative SAIF initiative (“Safe AI through Formal methods”) and involves research labs including Inria, CEA-List, LIX, LaBRI, LM...

EPFL (École Polytechnique Fédérale de Lausanne) is advertising a Postdoc in the Networked Systems Abstractions Lab (LASeR) in Switzerland. The lab works at the intersection of programming languages, formal methods, networking, network verification, and systems , with research themes including NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity . The position is aimed at outstanding candidates who want to conduct research on network abstra...

PhD opportunity in Computer Science at the University of Southampton , UK, in the Cyber-Physical Systems Group . The project is titled “Uncertainty-aware scheduling and analysis of AI-powered cyber-physical systems” and is supervised by Filip Marković and Geoff Merrett . The topic sits at the intersection of computer science , cyber-physical systems , AI , scheduling , and uncertainty-aware analysis , and is aimed at solving interesting research problems in this area. This is a PhD opening , not...

King Fahd University of Petroleum & Minerals (KFUPM), Saudi Arabia, is advertising postdoctoral researcher opportunities for early 2027 in the ARM4L Lab, led by Assistant Professor Ramy Rashad . The positions focus on autonomous robotic manipulation and shared autonomy for ground and aerial manipulators, with two specific research directions: Robot SLAM and Scene Reconstruction and Robot Haptic Teleoperation . The work involves advancing and optimizing both software and hardware systems for robo...