PhD in Safe and Efficient Coordination of Mixed Traffic with Automated Vehicles KU Leuven in Belgium

Fully funded PhD opportunity at Rochester Institute of Technology in the USA, focused on Transportation Systems . Research topics highlighted in the post include connected and automated vehicles , traffic modeling , control , cybersecurity , and data-driven transport . This is a strong fit for students with interests in civil engineering, computer science, electrical engineering, and related transport/vehicle systems areas. The position is advertised as fully funded and includes full tuition , a...

PhD position at Delft University of Technology (TU Delft) in the Delft Centre of Systems and Control (DCSC), Faculty of Mechanical Engineering, focused on control theory , digital twins , transportation systems , and systems and control . The project studies self-designing digital twins for infrastructure systems, with an emphasis on formal mathematical contracts, autonomous controller configuration, verification, and the stability of interconnected digital twins. Research topics include model p...

PhD opportunity in Safe AI-Based Control at Eindhoven University of Technology (TU/e), Netherlands . The project focuses on developing safe AI-based control methods that combine learning from data with formal safety guarantees . Research topics include learning-based control with safety guarantees, data-driven modeling, formal verification, and real-time implementation and testing. Application areas mentioned in the post include autonomous vehicles , robotics , and process industries . This is a...

Fully funded PhD openings are available in the research group of Ruimin Ke at Rensselaer Polytechnic Institute (Department of Civil and Environmental Engineering). The openings are for students interested in transportation , edge AI , computer vision , multimodal sensing , intelligent transportation systems , quantum computing , and optimization . One research direction focuses on edge computing and AI for transportation and real-world deployment, with current support from NAS, FHWA, and NVIDIA....

PhD opportunity in Formal Verification of Configurable Safety-Critical Systems at Fondazione Bruno Kessler in collaboration with the University of Udine , Italy. This opening is for a PhD candidate interested in formal verification , safety-critical systems , and related computer science / mathematics research. The project focuses on verifying configurable systems where correctness and reliability are essential. Eligibility: applicants should hold a Master Degree or equivalent . The post is a fu...