2 postdoctoral positions at University of Luxembourg

Postdoctoral researcher in Software Verification

As the successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group of the SnT, under the supervision of Dr. Maxime Cordy. You will contribute to research work in the area of Software Verification. Such research concerns the development of theories, techniques and...

Postdoctoral researcher HPC

The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The University was founded in 2003 and counts more than 6,700 students and more than 2,000 employees from around the world. The University’s faculties and...