Logic List Mailing Archive

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 (www.ltg.unibe.ch).

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. 
In particular, we introduce non-normal deontic logics with justifications. 
Further, we develop a semiring framework for justifications, and we 
engineer a possible world semantics for justifications that supports 
additional structure like graded justifications or probability 
distributions on justifications.

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. The selection process runs until suitable candidates 
have been found. The University of Bern conducts excellent research and 
lives up its vision that ?Knowledge generates value?. The city of Bern 
lies in the center of Switzerland and offers some of the highest quality 
of life worldwide.

Please send your electronic application including motivation letter (max. 
1 page), CV, academic transcripts, MSc diploma and contact address or 
reference letter of your MSc thesis supervisor as one pdf file to Prof. 
Thomas Studer at thomas.studer@inf.unibe.ch

For more information, please contact Thomas Studer 
(home.inf.unibe.ch/~tstuder).

--
[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