Dear prospective researcher,
Do you love building rock-solid code with uncompromising correctness? Do you enjoy hacking in Agda or Coq for hours, squeezing the most out of (dependent) types, and pushing proof assistants to their limits? Does it give you a warm, fuzzy feeling to know that what you are building comes with high-assurance machine-checkable guarantees? If so, we have the perfect PhD position for you!
We offer a fully funded PhD position, including a travel budget, under the supervision of Dominique Devriese and Steven Keuchel in the DistriNet research group of the Department of Computer Science at KU Leuven, Belgium. You would work on scaling up our efforts in mechanizing the verification of security properties in critical low-level code.
A more detailed description of the position is available at: Jobs — DistriNet Research Unit (or directly https://downloads.distrinet-research.be/jobs/PhD-MechanizedSecurity.pdf)
For working conditions, including a competitive salary/scholarship automatically adapted to the evolving cost of living as per Belgian legislation, see: PhD: information — KU Leuven Jobsite
Closing date for applications: March 16, 2025.
Best regards,
Steven Keuchel
Dominique Devriese