We have two postdoctoral positions in formal verification and synthesis for multi-agent systems at the Max Planck Institute for Software Systems (MPI-SWS), Germany.
The postdoc positions are part of the SymAware project, which is a €4m project awarded by the European
Innovation Council (EIC) to perform research on symbolic logic framework for situational awareness in mixed autonomy. Potential research topics include:
- Develop methods for synthesising controllers for multi-agent systems that are correct by design, have incomplete state information and are robust to model uncertainty.
- Develop methods for synthesising controllers applicable to systems with large number of components and state variables using decomposition and assume-guarantee reasoning.
- Develop AI planning and machine learning methods with formal guarantees (e.g., convergence or sample complexity) for performing synthesis on unknown models or unknown objective functions in multi-agent systems.
- Implement the new approaches as a set of software design tools which support the construction, integration, safety and performance analysis of multi-agent systems.
Deadline: Initial screening 8 August 2022, the positions remain open until finding suitable candidates.
More information: https://hycodev.com/SymAware/Advert.pdf
How to apply: contact "sadegh.soudjani@ncl.ac.uk" with your application materials.
