Fully Funded PhD in Security-aware Task Planning and Control of Multi-agent Systems Eindhoven University of Technology in Netherlands

PhD position at Eindhoven University of Technology (TU/e) in security-aware task planning and control of multi-agent systems . This project sits in the Control Systems group within the Department of Electrical Engineering and focuses on trustworthy autonomy for connected autonomous systems such as robots, vehicles, and smart infrastructure. The research asks how multiple agents can coordinate complex missions while limiting what outside observers can infer from shared information and observable ...

Patricia Pauli, Assistant Professor at Eindhoven University of Technology, is hiring a fully funded PhD candidate in Safe AI-based Control for the Control Systems Technology (CST) group. The project sits at the intersection of machine learning , control theory , and systems and control , with a focus on developing neural controllers that combine flexibility and expressiveness with rigorous guarantees of safety , stability , and robustness . Ideal candidates should have a strong background in sys...

HARPA is recruiting for two PhD positions , one postdoc , and one research engineer to join a newly funded EIC Pathfinder project at Delft University of Technology (TU Delft) . The project, Heterogeneous Aerial Robot Teams for in-situ Prefabricated Building Assembly (HARPA) , focuses on robotics for construction using teams of heterogeneous aerial robots that can collaboratively transport, manipulate, and assemble building components . Research topics include aerial robotics , multi-agent system...

Postdoctoral opportunity at the National Institute of Standards and Technology (NIST) in formal methods and cybersecurity . The project is titled “Bugs Framework (BF)-Based Formal Methods Systems for Proof of HW & SW Correctness or Existence of Bugs/Faults” and is hosted in the Information Technology Laboratory, Computer Security Division at NIST in Gaithersburg, Maryland. This research focuses on using the Bugs Framework (BF) to formalize security concepts and build logic-based methods for iden...

PhD position available at Delft University of Technology (TU Delft) on Long-Term Reasoning and Adaptive Learning for Human-Aware Robot Autonomy . This doctoral opportunity is centered on robotics , computer science , artificial intelligence , machine learning , and human-aware autonomy . The project title suggests research on reasoning over long time horizons, adaptive learning methods, and autonomous robotic behavior in human environments. The post was shared by Prof. Mohamed El-Shazly , a prof...