[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.