Bandeau SPS

Calendrier Janvier 2020

Mois précédent Décembre 2019 | Aujourd'hui | Février 2020 Mois suivant

  • L
  • M
  • M
  • J
  • V
  • S
  • D

Le bulletin

Offres de postes

Postdoctorat, Logique, Université d'Amsterdam (date limite : 15 juin 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


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


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

a Curriculum Vitae;
a Letter of Motivation (maximum 1 page), explaining why you are interested in this position;
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;
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;
a brief summary of your PhD thesis in maximum 2 pages;
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, 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:

Haut de page

Retour à la page précédente

Accueil | Contact | Demande d’adhésion | Mentions légales | Accès privé
© SPS, 2009-2020.
Dernière mise à jour : Jeudi 23 janvier 2020