PhD student position in Deontic Logic, Vienna (Austria)

We are searching for an exceptionally talented and motivated student to join our team as PhD student in the logic group. The ideal candidate should have or be about to obtain an excellent Masters degree (or comparable) in one of the following fields: Mathematics, Computer Science or Philosophy. Competencies in one or several of the following areas would be a plus: Structural proof theory, Deontic logic, Modal logic, Philosophical logic (in particular formalisation of philosophical texts), Implementations.

Willingness to work in an interdisciplinary environment consisting of logicians and indologists is a must. The successful candidate will be an affiliated PhD student in the doctoral program Logical Methods in Computer Science (LogiCS) at the Vienna University of Technology.