PhD position in formal verification of spatial multi-agent systems
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 -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
