Doctoral Position in Multi-Agent Systems: The University of Gothenburg is offering a prestigious doctoral student position focused on formal verification of spatial multi-agent systems. This role is designed for highly motivated individuals looking to contribute to cutting-edge research in the intersection of formal methods and autonomous systems.
Doctoral Student Position in Formal Verification of Spatial Multi-Agent Systems
Designation
Doctoral Student in Formal Verification of Spatial Multi-Agent Systems
Research Area
- Formal Methods
- Autonomous Systems
- Multi-Agent Systems
- Machine Learning Integration
- Verification Tools (e.g., Model Checkers, Synthesis Engines)
Location
Department of Computer Science and Engineering, University of Gothenburg, Sweden
Eligibility/Qualification
- Completed degree at second-cycle level or equivalent, with at least 240 credits (60 at second-cycle).
- Knowledge in Formal Verification, Concurrency, Supervisory Control, and Spatial logics is advantageous.
- Fluency in English (both verbal and written) is mandatory. Knowledge of Swedish is not required.
- Preferred background in formal methods, discrete control, or reinforcement learning along with experience in verification tools.
Job Description
This position involves four years of full-time doctoral studies leading to a doctoral degree. Responsibilities include:
- Development of theories and techniques for formal verification of autonomous systems.
- Contributing to research and departmental duties (teaching, administration).
- Opportunities to develop case studies showcasing practical impacts of theories.
- Participation in projects involving reconfigurable concurrent systems and end-to-end verified code generation to ROS2.
How to Apply
Applications must be submitted via the University of Gothenburg’s recruitment portal. Ensure that the application is complete and written in English.
Last Date for Apply
January 29, 2026
For more information, please refer to the official Doctoral Studies page or contact:
- Project Information: Yehia Abd Alrahman at yehiaa@chalmers.se
- Position Information: Carl-Johan Seger at secarl@chalmers.se
- Appointment Procedure: Sanna Staf at sanna.staf@cse.gu.se
