[TYPES/announce] Postdoc position on program verification at KU Leuven

[Bart Jacobs]

=== Postdoc position on program verification at KU Leuven ===

We have an open postdoc position on program verification as part of our participation in the EU FP7 project ADVENT on architecture-driven verification of systems software. The other consortium members are IMDEA (Alexey Gotsman), MPI-SWS (Viktor Vafeiadis), and Tel-Aviv University (Noam Rinetzky). Keywords of this project include separation logic, concurrency, weak memory, linearizability, compiler correctness, and proof automation.

Application deadline: 15 May 2013. Start of employment: as soon as possible.

Bart Jacobs
DistriNet Research Group, Department of Computer Science, KU Leuven - University of Leuven, Belgium
http://distrinet.cs.kuleuven.be/people/bartj


Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm