The University of Luxembourg seeks to hire outstanding researchers at its “Software Verification and Verification” Laboratory led by Prof. Lionel Briand. The Software Verification and Verification (V&V) Laboratory is a new, large, and international laboratory in software verification and validation and aims at conducting applied research in close collaboration with industry partners. The Luxembourg National Research Fund (FNR) recently granted Prof. Briand a large PEARL grant (see link below) to establish a new software verification and validation laboratory. It is part of the Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg. English is the working language of this international laboratory. The Interdisciplinary Centre for Reliability, Security and Trust (SnT) established in 2009, currently 130 staff members, carries out interdisciplinary research in secure, reliable and trustworthy ICT (Information and Communication Technologies) systems and services, often in collaboration with industrial governmental or international partners. SnT is active in several international research projects funded by the EU 7th framework programme and the European Space Agency. The University of Luxembourg was established in 2003 as a research-focused univers
• A PhD in software engineering, preferably with a focus on verification or testing. • Expertise and experience in software testing or verification. • Experience in the ICT industry will be considered an advantage. • Fluent written and verbal communication skills in English are mandatory.