Postdoctoral Researcher in Trustworthy AI and Formal Methods – Computer Science

The Department of Computer Science at the University of Luxembourg is seeking a Postdoctoral Researcher to join Prof. Jun Pang's group. The research focus is on Trustworthy AI, particularly at the intersection of formal methods and machine learning. This position offers the freedom to lead research projects, contribute to supervision and teaching, and participate in research funding activities according to your interests. The University of Luxembourg provides one of the most competitive net salary-to-cost-of-living ratios in Europe for postdoctoral researchers. The position is ideal for candidates interested in advancing research in trustworthy artificial intelligence, formal verification, and machine learning methodologies within a collaborative academic environment. Applicants should hold a PhD in Computer Science or a closely related discipline and have experience in formal methods, machine learning, or trustworthy AI. The role encourages research independence and offers opportunities for professional development in supervision and teaching. To apply, candidates must submit their application through the University of Luxembourg's official job portal. For more information, refer to the provided links.