Subject: categories: PhD & postdoc positions available

From: Bart Jacobs <[email-masked]>
Date: Mon, 25 Sep 2000 14:57:00 +0200

[Apologies for multiple copies.]

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.