PhD Position in Ethical AI, Digital Twins, and Formal Methods for Smart Manufacturing

A fully funded PhD position is available at the University of Lorraine, France, as part of the ANR JCJC DET (Digital Ethical Twin) project. The research focuses on the intersection of Ethical AI, Digital Twins, and Formal Methods, aiming to develop Digital Ethical Twins (DETs) that enhance trust in smart manufacturing environments. The project seeks to formally guarantee that DET decisions comply with ethical principles at both individual and system levels. The main research objective is to provide rigorous foundations and practical tools for verifying ethical decision-making in DETs using model checking techniques such as CTL and LTL temporal logics. Key research questions include formal modeling of DETs, meta-model and model transformation, automated generation of model-checker-compatible models, and experimental validation through realistic scenarios. The position is co-supervised by Prof. Hind BRIL EL HAOUZI and Dr. Yinling LIU, both affiliated with the University of Lorraine. Applicants should have a strong background in computer science, formal methods, artificial intelligence, or related fields. Experience with model checking, digital twins, or ethical AI is highly desirable. The position is fully funded, though specific stipend and tuition details are not provided. Interested candidates should send their CV, cover letter, and academic transcripts to the supervisors' email addresses. The application deadline is not specified. Keywords: Ethical Digital Twins, Formal Verification, Model Checking, Ethical Principles, CTL/LTL, Smart Manufacturing, Trustworthy AI.