[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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:
https://urldefense.com/v3/__https://distrinet.cs.kuleuven.be/jobs/jobs__;!!IBzWLUs!WJodptLtuZC9fPzXwIc3wWsQGV8-ZalyN_PNN87qsD-1n1Q2zndBwLrBTJhrrXbrhlozj8bqccXRGGQLioyZexndTj6Zk6zicMb07B0eEzM$
(or directly
https://urldefense.com/v3/__https://downloads.distrinet-research.be/jobs/PhD-MechanizedSecurity.pdf__;!!IBzWLUs!WJodptLtuZC9fPzXwIc3wWsQGV8-ZalyN_PNN87qsD-1n1Q2zndBwLrBTJhrrXbrhlozj8bqccXRGGQLioyZexndTj6Zk6zicMb0Ytfhulw$
)
For working conditions, including a competitive salary/scholarship
automatically adapted to the evolving cost of living as per Belgian
legislation, see:
https://urldefense.com/v3/__https://www.kuleuven.be/personeel/jobsite/en/phd/phd-information*working-conditions__;Iw!!IBzWLUs!WJodptLtuZC9fPzXwIc3wWsQGV8-ZalyN_PNN87qsD-1n1Q2zndBwLrBTJhrrXbrhlozj8bqccXRGGQLioyZexndTj6Zk6zicMb0kj5U-00$
Closing date for applications: March 16, 2025.
Best regards,
Steven Keuchel
Dominique Devriese
