PhD student position in formal verification, Heerlen (The Netherlands)
The Open University of the Netherlands is looking for a PhD student, who will work on formal verification of low-level security properties of compiled binaries. The position is fully funded (4 years). Remuneration is according to the collective labor agreement in the Netherlands, starting at 2325 eur (pre-tax).
For more information & applications (cover letter+CV) address to fvb at ou.nl. The position will remain open until fulfilled.