News and Events: Open Positions

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.