Call for Applications: 2 PhD Positions Agata Ciabattoni, Christian Straßer, Leon van der Torre
Two PhD positions are available within (1) the Institute of Logic and Computation (Agata Ciabattoni, Vienna University of Technology), 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 position is embedded in the LoDEx project (Logical Methods for Deontic Explanations), a joint project between TU Vienna (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 Vienna 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. 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 focuse on: * advancing and applying logical methods for explanations in legal reasoning (Vienna-Luxemburg), and * advancing and applying formal argumentation for deontic explanations, with special consideration of cases in bioethics. Job requirements. For the position Vienna-Luxemburg 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-Luxemburg 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 especially encourage candidates from underrepresented groups. For any queries for the position Vienna-Luxemburg, please contact Agata Ciabattoni ( [email protected]) and Réka Markovich ([email protected]), for the position Bochum-Luxemburg please contact Christian Straßer ( [email protected]) and Leon van der Torre ([email protected]). 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; 4. 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-Luxemburg should be sent to Agata Ciabattoni ([email protected]) and Réka Markovich ([email protected]) Applications for the position Bochum-Luxemburg to [email protected]. https://www.ruhr-uni-bochum.de/lodex/post/10-10-23-cfa-phds/ -- Elaine. ----------------------------------- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ ----------------------------------- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BXHL9ZUyX%3DP8w%2BR%3D%3Do05yE8OPp15wU-F%3DfgzTwW4BoxfQ%40mail.gmail.com.
