Universiteit van Amsterdam

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 . The position will remain open until fulfilled.

For more information, contact .