[Prev][Next][Index][Thread]
PhD & postdoc positions available
-
To: concurrency@cwi.nl, eapls@mailbase.ac.uk, formal-methods@cs.uidaho.edu, logic@cs.cornell.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, categories@mta.ca, softverf@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, lics-request@research.belllabs.com, logic@theory.lcs.mit.edu, coq-club@pauillac.inria.fr, amast@cs.utwente.nl, types@cs.indiana.edu, eacsl@dimi.uniud.it, clics@doc.ic.ac.uk, tapsoft@dcs.ed.ac.uk, bra-types@cs.chalmers.se, ipalist@win.tue.nl, pvs@csl.sri.com, acl2@cs.utexas.edu, calculemus-ig@dist.unige.it, logic-ml@logic.jaist.ac.jp, ozsl-list@fwi.uva.nl, prog-lang@diku.dk, qed@mcs.anl.gov, rewriting@ens-lyon.fr
-
Subject: PhD & postdoc positions available
-
From: Bart Jacobs <Bart.Jacobs@cs.kun.nl>
-
Date: Mon, 25 Sep 2000 14:57:00 +0200
-
cc: Bart.Jacobs@cs.kun.nl
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.