Please note that this newsitem has been archived, and may contain outdated information or links.
Two phd positions, KU Leuven (Belgium)
Deadline: Sunday 30 September 2018
We have two open PhD student positions in the program verification group. These positions involve performing research on program verification under the supervision of Prof. dr. Bart Jacobs and postdoctoral researcher Amin Timany, with the goal of obtaining a PhD within four to five years.
For more information, see
https://distrinet.cs.kuleuven.be/jobs/#program_verification
or contact Dr. Amin Timany at mailto:amin.timany at cs.kuleuven.be.
Please note that this newsitem has been archived, and may contain outdated information or links.