Logic List Mailing Archive

PhD student position in formal logic for AI, Bergen (Norway), Deadline: 9 Aug 2019

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@infomedia.uib.no) or 
Marija Slavkovik (marija.slavkovik@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam