[DL] PhD Position in Logics for Multi-Agent Systems (University of Bergen, Norway; 4-year contract)

[Rustam Galimullin]

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.

Application deadline: 15th October 2026

More information and official application requirements can be found at https://www.jobbnorge.no/en/available-jobs/job/307728/phd-position-logic-and-artificial-intelligence-lai

The web-page of LAI https://www4.uib.no/en/research/research-groups/research-group-for-logics-and-ai

We look forward to receiving your applications!

If you have any questions regarding the position, you can contact Rustam Galimullin at rustam.galimullin at uib.no<mailto:rustam.galimullin at uib.no>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260905/a90de486/attachment.htm>