Two PhD Positions in Logic, University of Bern

Two open PhD positions are available in the project 'Justifications and Non-classical Reasoning' in the Logic and Theory Group of the Institute of Computer Science at the University of Bern.

We are looking for students with a strong background in logic (mathematics, computer science, or philosophy) who want to further develop their knowledge and skills in epistemic and non-classical logic.

The salary for the position is approximately 50,000 Swiss Francs per year.

For more information, see the LTG-website at http://www.ltg.unibe.ch or contact Prof. Thomas Studer by email: tstuder at inf.unibe.ch