<html aria-label="message body">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
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.
<div><br>
</div>
<div><b>Application deadline: 15th October 2026</b></div>
<div><b><br>
</b></div>
<div>More information and official application requirements can be found at <a href="https://www.jobbnorge.no/en/available-jobs/job/307728/phd-position-logic-and-artificial-intelligence-lai">https://www.jobbnorge.no/en/available-jobs/job/307728/phd-position-logic-and-artificial-intelligence-lai</a></div>
<div><br>
</div>
<div>The web-page of LAI <a href="https://www4.uib.no/en/research/research-groups/research-group-for-logics-and-ai">https://www4.uib.no/en/research/research-groups/research-group-for-logics-and-ai</a></div>
<div><br>
</div>
<div>We look forward to receiving your applications! </div>
<div><br>
</div>
<div>If you have any questions regarding the position, you can contact Rustam Galimullin at
<a href="mailto:rustam.galimullin@uib.no">rustam.galimullin@uib.no</a></div>
<div><br>
</div>
</body>
</html>