Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Two PhD student positions in justification logic, Bern (Switzerland)

Deadline: Friday 5 July 2019

Two PhD-student positions are available in the project 'Explicit Reasons' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern. This SNSF funded research project is concerned with reasons why one believes something, reasons why one knows something, and reasons why one ought to do something. We develop formal languages in which reasons can be represented explicitly and investigate the logical properties of explicit reasons. To achieve this, we rely on the framework of justification logic.

Candidates should have a strong background in logic (mathematics, computer science, or philosophy). University regulations require doctoral students to hold a Master's or equivalent degree. The positions are available from September 2019 and come with a competitive salary.

For more information, see http://www.inf.unibe.ch/research/ltg/index_eng.html or contact Prof. Thomas Studer at .

Please note that this newsitem has been archived, and may contain outdated information or links.