Logic List Mailing Archive
CfA: 2 PostDocs and 1 PhD Deontic Logic / Argumentation / Nonmonotonic Logic, Bochum (Germany), Deadline: 30 October 2023
[Sorry for x-posting.]
The research group Logic in Philosophy and Artificial Intelligence (Christian Straßer, Ruhr-University Bochum) has an opening for two PostDoc-positions and a PhD-position. Deadline: 30. October 2023.
Position 1 (3y) and the PhD position are embedded in the LoDEx project (Logical methods for Deontic Explanations), a joint project between the Ruhr-University Bochum (PI: Christian Straßer), the University of Luxembourg (PI: Leon van der Torre) and the TU Vienna (PI: Agata Ciabattoni).
Note that there is a parallel call for a PhD at TU Vienna. For details
see: <https://www.ruhr-uni-bochum.de/lodex/>.
PostDoc Position 2 (2y) is funded by the Ruhr University Bochum.
/=================================\
| Description: PostDoc Position 1 |
| Deontic Explanations. ANR: 2461. |
\=================================/
This position is a three-year, 100%-funded PostDoc position (TV-L 13), starting February 2024.
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 context of ethical and legal reasoning. These "deontic 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 PostDoc position focuses on the use of formal argumentation for the modeling of deontic explanations. Such a model comes with many challenges. One is that in order to be more perspicuous and convincing, explanations should take into account what the explainee believes and values, i.e., their epistemic and axiologic horizon.
Another challenge is the contrastive nature of explanations, since why-questions are often framed contrastively ('Why should I do A rather than B?'). Formal argumentation offers a good basis for modeling explanatory exchanges, e.g., in terms of dialogues. The candidate will also interact with a PhD student working on applications of deontic explanations to bioethical problems.
The candidate should have familiarity with either of the following (and ideally several):
• formal logic, ideally modal/deontic/epistemic logics; • formal argumentation; • a basic affinity with and an interest in ethical and moral theories.
/===========================================================\
| Description: PostDoc Position 2. |
| Defeasible Reasoning. ANR: 2394. |
\===========================================================/
This position is a two-year, 100%-funded PostDoc position (TV-L 13), starting February 2024.
The candidate will be working on formal models of defeasible reasoning, in particular those based on nonmonotonic logic and formal argumentation.
Possible areas of specialization include:
• reasoning defeasibly with and about norms • argumentation-based models of cognition, human and artificial reasoning • applications of argumentation in agent-based models • relations between (individual and social) epistemology and formal
argumentation
• modeling uncertainty (e.g., via probabilities) in formal argumentation • how to measure inconsistency and disagreement • modeling explanation with formal argumentation and dialogue systems • integrating formal argumentation and nonmonotonic logic with machine
learning
• etc.
The position comes with a teaching requirement, namely 2 courses per teaching term.
/===============================\
| Description: PhD Position |
| Deontic Explanations. ANR 2451 |
\===============================/
The position is embedded in the LoDEx project (Logical methods for Deontic Explanations), a joint project between the Ruhr-University Bochum (PI: Christian Straßer), the University of Luxembourg (PI: Leon van der Torre) and the TU Vienna (PI: Agata Ciabattoni).
The call is for a 2 year (65%) position at the Ruhr-University Bochum, to be extended for another 2 years (years 3 and 4) at the University of Luxembourg under a Cotutelle agreement. Starting point: February 2024.
The PhD position focuses on the application of formal explanation methods to (bio)ethical reasoning. In the context of bioethics, deontic explanations answer why it is morally correct or justified to resolve a given case in a particular way. For this purpose, the candidate will combine methods from deontic logic, argumentation theory and philosophical conceptual analysis. They will develop and apply formal frameworks for (bio)ethical explanations. Formal argumentation provides a rich toolbox for representing and analyzing ethical conflicts in a transparent way that closely resembles human reasoning. By integrating dialogical contexts, it provides a natural framework for modeling deontic explanations that are optimized for understanding.
The candidate should have familiarity with either of the following (and ideally several):
• formal logic, ideally modal/deontic/epistemic/philosophical logics; • formal argumentation; • a basic affinity with and an interest in ethical and moral theories.
/=======================\
| Research Environment. |
\=======================/
The positions will be embedded in a rich research environment, incl.
connections to
• the newly established trilateral WEAVE Project on “Logical Methods for
Deontic Explanation” (Bochum, Luxembourg, TU Vienna,
<https://www.ruhr-uni-bochum.de/lodex/>)
• the group on Logic in Philosophy and Artificial Intelligence
(<https://homepage.ruhr-uni-bochum.de/defeasible-reasoning/index.html>)
• the research group on Reasoning, Rationality and Science (Dunja
Šešelja, Christian Straßer,
<https://www.ruhr-uni-bochum.de/rrs-philosophy/>)
• the Logic in Bochum Group
• the Center for Mind and Cognition,
• the Machine Learning and Artificial Intelligence group.
Family-friendly initiatives are in place, such as an international spouse program, and excellent on-campus children day care and sports facilities.
For any queries, please contact <mailto:christian.strasser@rub.de>.
/===================\
| Job requirements. |
\===================/
For the PostDoc positions: You hold a PhD degree in Philosophy, Computer Science, Mathematics, or a discipline related to the listed topics.
For the PhD position: You should have a degree in computer science, philosophy, logic, AI, or related.
You have an interest in the above listed themes of the research.
Knowledge of German language is not required.
We welcome candidates with a wide variety of backgrounds and perspectives and we especially encourage candidates from underrepresented groups to apply.
For any queries, please contact Christian Straßer:
mailto:christian.strasser@rub.de.
/==============\
| Application. |
\==============/
Your application should contain the following documents:
1. a letter of motivation explaining your interest in the position and
your qualifications for it,
2. your curriculum vitae,
3. a writing sample and
4. names and contact information of two persons willing to provide
references.
5. indicate whether you apply for one of both of the postdoc positions
or the PhD position.
6. for the PhD position: please include a complete list of your study grades.
If you are interested, we invite you to apply by 30th of October.
Interviews will be held shortly thereafter online.
Please send your application to mailto:jobs-log-phi-ai@ruhr-uni-bochum.de.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php