Two PhD positions are available within (1) the Institute of Logic and Computation (Agata Ciabattoni, TU Wien, Vienna), and (2) the research group Logic in Philosophy and Artificial Intelligence (Christian Straßer, Ruhr-University Bochum).

We are seeking two exceptionally talented and motivated students.  The positions are embedded in the LoDEx project (Logical Methods for Deontic Explanations), a joint project between TU Wien (PI: Agata Ciabattoni), the University of Luxembourg (PI: Leon van der Torre), and the Ruhr-University Bochum (PI: Christian Straßer).

Both PhD positions are shared with the University of Luxembourg: the candidate is expected to spend the first two years at TU Wien or Ruhr-University Bochum, and then two years in Luxembourg completing his/her PhD under a Cotutelle agreement in the Computational Law and Machine Ethics (CLAiM) group at the University of Luxembourg.

		Bochum: Frank Vincentz CC BY-SA 3.0

The Project.

The candidate will be working as a member of the WEAVE project “Logical Methods for Deontic Explanations” (LoDEx). The project’s general aim is to develop formal frameworks for generating explanations in the normative context. The frameworks will be applied to bioethics and legal reasoning, as case studies.

These explanations facilitate our comprehension of the underlying reasons for the application of specific norms within a particular context, illuminating why adherence to these norms is crucial.

The Positions.

The PhD positions focus on:

*   advancing and applying logical methods for explanations in legal reasoning (Vienna-Luxembourg), and

*    advancing and applying formal argumentation for deontic explanations,

with special consideration of cases in bioethics.

Job requirements.

For the position Vienna-Luxembourg, the candidate should have familiarity with formal logic, ideally modal/deontic/epistemic/philosophical logics; and a basic affinity with and an interest in legal reasoning.

For the position Bochum-Luxembourg the candidate should have familiarity with either of the following (ideally several): formal logic (modal, deontic, philosophical logics), formal argumentation, a basic affinity with and interest in ethical and moral theories.   The candidate should have a degree in computer science, philosophy, logic, AI, or related subjects. Knowledge of German is not required.

We welcome candidates with a variety of backgrounds and perspectives. We specifically encourage candidates from underrepresented groups to apply.  For any queries for the position Vienna-Luxembourg, please contact Agata Ciabattoni (ta.cigolnull@ataga) and Réka Markovich (ul.inunull@hcivokram.aker), for the position Bochum-Luxembourg, please contact Christian Straßer (ed.burnull@ressarts.naitsirhc) and Leon van der Torre (ul.inunull@errotrednav.noel).

Application.

The application should contain the following documents:

• a letter of motivation explaining your interest in the position and your qualifications for it,
• your curriculum vitae,
• abstract in English of the applicant’s master’s thesis
• a complete list of completed studies and transcripts of all grades
• a writing sample (such as a master thesis, or seminar paper), and
• the contact details of at least two referees, who can be contacted for a letter of reference.

If you are interested, we invite you to apply before November 30th, 2023.

Applications for the position Vienna-Luxembourg should be sent to Agata Ciabattoni (ta.cigolnull@ataga) and Réka Markovich (ul.inunull@hcivokram.aker) Applications for the position Bochum-Luxembourg to ed.muhcob-inu-rhurnull@ia-ihp-gol-sboj.

https://www.ruhr-uni-bochum.de/lodex/post/10-10-23-cfa-phds/