[Prev][Next][Index][Thread]

PhD & postdoc positions available



Several 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 at the URL:

	http://www.cs.kun.nl/~bart/LOOP/vacancies.html

Best regards,
Bart Jacobs.