3 operator-theory research jobs 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

Postdoc Fellow in (post) quantum security of proof systems

, quantum information theory, quantum voting schemes, etc. The successful candidate will conduct the following tasks: Post-quantum security of proof systems Generalization to Quantum Proof Systems Participate

Doctoral researcher in Computational Biology and Metabolism

, engineers, physicists and clinicians from more than 50 countries currently work at the LCSB. We excel because we are truly interdisciplinary and together we contribute to science and society. The laboratory