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

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.