Logic List Mailing Archive

CfA: PhD Position in Logics for Multi-Agent Systems, Bergen (Norway), deadline: 15 October 2026

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@uib.no<mailto:rustam.galimullin@uib.no>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php