The University of Luxembourg, a leading international research university, is seeking a Postdoctoral Researcher in Computer Science for its Faculty of Science, Technology and Medicine (FSTM). The position is based at the Belval Campus within the Department of Computer Science, and the successful candidate will join the research group led by Prof. Dr. Jun Pang. The university is renowned for its multilingual and interdisciplinary environment, offering modern facilities and a vibrant academic community with staff from over 90 countries.

The postdoctoral researcher will focus on one of the following areas: Trustworthy AI, AI for formal methods, or formal methods for AI. Responsibilities include conducting high-quality research, publishing results in international venues, contributing to funding activities, assisting in teaching, and supporting the supervision of students at various levels. The role is designed for candidates with a strong mathematical and algorithmic background, a proactive approach to research excellence, and a commitment to teamwork and critical thinking.

Applicants must hold a PhD in computer science and demonstrate outstanding qualifications and documented research experience, including publications in top venues relevant to the specified research areas. Fluency in English, both written and spoken, is mandatory. The university offers a fixed-term contract of 24 months with a competitive yearly gross salary of EUR 85176. The institution provides a unique urban site with excellent infrastructure, close ties to industry and European institutions, and a commitment to inclusivity and equality.

To apply, candidates should submit their application online via the HR system, including a CV, cover letter, transcripts, research statement, publication list, and contact information for 2-3 referees. Early applications are encouraged as the selection process begins upon receipt. Applications by email will not be considered. The University of Luxembourg promotes an inclusive culture and encourages applications from individuals of all backgrounds.

This opportunity is ideal for researchers seeking to advance their careers in a dynamic and supportive environment, contributing to cutting-edge research in AI and formal methods while engaging with a diverse academic and professional community.