[DL] Fully funded PhD in formal verification of spatial multi-agent systems (Sweden, Gothenburg) (Deadline 29th January)

[Yehia Abd Alrahman]

Join our research team and contribute to advancing the safety and
reliability of autonomous systems.


This position is supported by a prestigious Swedish Research Council grant
focused on automatic synthesis of programs for spatial Multi-Agent Systems.
Our work centers on developing foundational theories and practical
techniques for the formal verification of autonomous systems, including
controller synthesis, planning, and model checking.


We are currently building specialized tools for reconfigurable concurrent
systems—such as the ReCiPe formalism, the R-CHECK model checker, and the
SynTM synthesis engine—and supporting end-to-end verified code generation
for ROS2 (Robot Operating System). Our lab is equipped with robotic
platforms that enable real-world deployment and validation of our research.


(Only applications through the following link will be reviewed)


Apply here!

https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=38859
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20251201/9942dfe5/attachment.htm>