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

Bart Jacobs 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.

Bart Jacobs
DistriNet Research Group, Department of Computer Science, KU Leuven - University of Leuven, Belgium

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

More information about the Types-announce mailing list