Postdoctoral researcher in Parallel Programming & Combinatorial Optimisation

SnT is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play an instrumental role in Luxembourg by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent.

We’re looking for people driven by excellence, excited about innovation, and looking to make a difference. If this sounds like you, you’ve come to the right place!

In the context of the FNR CORE project A Concurrent Model of Computation for Trustworthy GPU Programming (COMOC), you will join the Parallel Computing & Optimisation Group (PCOG), led by Pascal Bouvry. We are creating a next generation parallel programming model on GPU which is correct, efficient and formalized in a weakly consistent memory model. Our main application is a GPU constraint programming solver based on abstract interpretation and lattice theory. We offer a unique research opportunity at the crossroads between theoretical computer science (lattice theory) and practical implementation (constraint solver in CUDA/C++).