(Ref. BAP-2015-109)
Occupation: Full-time
Period: Fixed-term contract extendable
Place: Leuven
Apply no later than: May 31, 2015
For the Informatics Section we are looking for a
PhD student in formal program verification
DistriNet is the premier research group in Belgium on distributed software and software security and collaborates actively with many peer research centers in Europe. Both the research group and the University of Leuven provide a dynamic and international working environment.
Project
We are hiring a PhD student for research in the formal verification of safety and security properties of concurrent low-level systems code. For example, a goal is to be able to formally verify crash-freedom of parts of the Linux kernel. The likely platform for this research will be the VeriFast verification tool (http://distrinet.cs.kuleuven.be/software/VeriFast/).The DistriNet program verification team was recently awarded the prize for Best Team at the Formal Methods 2012 verification competition (http://distrinet.cs.kuleuven.be/news/2012/DistriNetTeamWinsVerifyThisCompetition.jsp).
This PhD project will aim toward industrial applicability but will have a strong theoretical underpinning; correspondingly, the student’s skills and interests should include both concurrent low-level programming (in C) and theoretical developments in programming language metatheory (for precisely defining the proposed verification approaches and proving their soundness).
Profile
- The student/candidate must demonstrate significant enthusiasm for, and knowledge of the subject area based upon their previous education, work and/or research experience.
- A master degree in Computer Science or Informatics with demonstrated expertise.
- Proficiency in English and excellent communication skills, both oral and written.
Offer
Standard Belgian PhD scholarship.
Interested?
For more information please contact Prof. dr. Bart Jacobs, tel.: +3216372014, mail:bart.jacobs1<στο>kuleuven.be.
You can apply for this job no later than May 31, 2015 via the online application tool