[TYPES/announce] Postdoc position on program verification at KU Leuven
bart.jacobs at cs.kuleuven.be
Mon Apr 15 08:56:52 EDT 2013
=== 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.
DistriNet Research Group, Department of Computer Science, KU Leuven - University of Leuven, Belgium
More information about the Types-announce