Please note that this newsitem has been archived, and may contain outdated information or links.
PhD and postdoc positions are available in the area of
formal methods for object-oriented languages, at the University of
Nijmegen, The Netherlands.
The emphasis lies on using proof tools (esp. PVS) for Java(Card)
program verification.
More information can be found at: http://www.cs.kun.nl/~bart/LOOP/vacancies/.
Please note that this newsitem has been archived, and may contain outdated information or links.