Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.