Logic List Mailing Archive

Postdoctoral position in logic, Amsterdam (The Netherlands), Deadline: 15 June 2016

Institute for Logic, Language and Computation
Universiteit van Amsterdam
Postdoctoral researcher in Logic


We are looking for a postdoctoral researcher who will join the research 
group of Prof. Sonja Smets. Preference will be given to a candidate who is 
active in one of the following areas:

   * Logic and its applications to formal epistemology or multi-agent
     systems. In particular we are interested in the use of logical
     methods to study the dynamics of information. Topics of interest
     can relate to belief revision theory, social network theory,
     epistemic game theory, truth approximation or formal learning
     theory.

   * Logic and its applications in the area of quantum mechanics or
     quantum information theory. In particular we are interested in
     quantum logic and its use in quantum information theory (e.g.
     logics used for the formal verification of quantum information
     protocols).

Deadline for applications: 15 June 2016. For more information, see
https://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/16-218-postdoctoral-researcher-in-logic.html
--
[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