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

[Camilo Thorne]

Camilo Thorne

Rheinhäuser Str. 9A

68165, Mannheim, Germany

mobile: +49(0)15202380352

http://www.camilothorne.com

"Exegi monumentum aere perennius" 

(Horatius, Ode III-30)

---------- Forwarded message ---------
From: [LOGIC] Mailing List <lo...@math.uni-bonn.de>
Date: Sat, Jul 13, 2019 at 10:01 AM
Subject: [LOGIC] PhD student position in formal logic for AI, Bergen (Norway), Deadline: 9 Aug 2019
To:

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....@infomedia.uib.no) or
Marija Slavkovik (marija.s...@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