PhD Student Position in Logics for Multi-Agent Systems (University of Bergen, Norway; 4-year contract)
published: 2026-09-05
deadline: 2026-10-15
Logic and AI (LAI) research group of the University of Bergen is looking for a PhD candidate within the general area of ‘Logics for Multi-Agent Systems’ that includes, but not limited to, various flavours of modal logics (temporal logics, logics for strategic reasoning, epistemic logics, etc.) and their application to verification, synthesis, mechanism design, legal reasoning, and so on. The position is fully funded for 4 years with 25% of time is reserved for teaching. The expected start of the position is in the beginning of 2027.
Job announcement URL
Application deadline
15th October 2026
The web-page of LAI
https://www4.uib.no/en/research/research-groups/research-group-for-logics-and-ai
More information
More information and official application requirements can be found at the job announcement URL above.
We look forward to receiving your applications!
If you have any questions regarding the position, you can contact Rustam Galimullin at rustam.galimullin@uib.no