PhD position: logic for AI and multi-agent systems

[Thomas Ågotnes]

Applications for a PhD position in the area of formal logic for AI and multi-agent systems are invited. The PhD candidate will be affiliated with the Logic, Information and Interaction research group at the Department of Information Science and Media Studies, University of Bergen, Norway. The position is for four years and comes with a full salary.

Applicants are invited to submit their own research project proposals. Project proposals on any relevant topics are welcome; proposals on formal logics for reasoning about social networks are particularly welcome.

If you have any questions about the scientific profile of the position or project ideas, contact Thomas Ågotnes (thomas.agotnes at infomedia.uib.no) or Marija Slavkovik (marija.slavkovik at infomedia.uib.no).

The full announcement and details about how to apply can be found here:
https://www.jobbnorge.no/en/available-jobs/job/171817/phd-position-in-information-science

Deadline: 9 August 2019.


Kind regards,
Thomas Ågotnes

----------------------------------------------------------------------
Thomas Ågotnes
Department of Information Science and Media Studies
University of Bergen
P.O. Box 7802, N-5020 Bergen, Norway
Tel: (+47) 55584105  Fax: (+47) 55589149
Thomas.Agotnes at infomedia.uib.no
http://folk.uib.no/nmita/