Logic List Mailing Archive

PhD student position in formal verification, Heerlen (The Netherlands)

Dear all,

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


Please forward this to any interested parties.


Best,

Hugo.

-- 
dr. ir. Hugo Jonker
Open Universiteit
Valkenburgerweg 177
6419 AT Heerlen
Netherlands

phone: 	+31 45 576 2143

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam