Doctoral student in theoretical computer science and/or combinatorial optimization
2023-09-12
Last application date 25.Sep. 2023
The MIAO group is looking for a PhD student who will help us go even further beyond the state of the art in combinatorial solving (as explained in this Simons Institute tutorial) and/or provably correct computation (as per this YouTube tutorial).
This is a pretty unique opportunity if you have a strong background in both mathematics and programming and wish to combine the two.
Back to list.