Logic List Mailing Archive

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

The Institute for Logic, Language and Computation at the University of 
Amsterdam has a vacancy for a

Postdoctoral researcher in Logic
38 hours per week
vacancy number 16-218

Description:
--------------

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:

   1.  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.

   2.  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).

Requirements:
----------------

Applicants should have a PhD degree in any area connected to Logic, 
Theoretical Philosophy, Mathematics, Computer Science, Artificial 
Intelligence, Physics. Fluent English is a prerequisite.

We are looking for a candidate with a strong interest in Logic (especially 
in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic or 
Probabilistic Logic) and at least one of the following areas of research: 
Belief Revision Theory, Formal Learning Theory, Formal Epistemology, 
Epistemic Game Theory, Multi-Agent Systems in AI, Quantum Logic, Quantum 
Information Theory.



Preference will be given to candidates who have published or submitted for 
publication original work in at least one of the above areas (or 
interdisciplinary work at the interface of these areas). We are primarily 
looking for candidates who have a strong research profile. But it would 
also be helpful if a candidate has any experience or potential for 
research supervision, teaching (in areas related to logic) or research 
organization (e.g. organizing small workshops or research seminars).

Job application:
-------------------

Applications should include the following information, in separate pdf files (not zipped), using surname, initials and a self-evident word as file names, e.g. , Smith J CV

   1.  a Curriculum Vitae;

   2.  a Letter of Motivation (maximum 1 page), explaining why you are 
interested in this position;

   3.  a Research Statement (maximum 2 pages), explaining your research 
interests and how you think they can be related to one of the areas 
mentioned in the above given job description;

   4.  a copy of your most important research paper, which can be a joint 
paper (co-authored with others), and which has appeared in or is submitted 
for publication to a scientific journal;

   5.  a brief summary of your PhD thesis in maximum 2 pages;

   6.  the name and contact details (including email address) of two 
referees who can provide details about your profile.

Completed applications should be submitted by 15 June 2016 to 
application-science@uva.nl, and should state your name and vacancy number 
16-218 in the subject field. The committee does not guarantee that late or 
incomplete applications will be considered.

Further Information:

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