The University of Gothenburg is offering a prestigious doctoral student position focused on formal verification of spatial multi-agent systems. This role involves four years of full-time doctoral studies leading to a doctoral degree, contributing to advanced research in the intersection of formal methods and autonomous systems.