coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] tenure-track position in Theoretical Computer Science

From: Femke van Raamsdonk <femke AT cs.vu.nl>
To: coq-club AT inria.fr
Cc: "W.J. Fokkink" <wanf AT cs.vu.nl>, "F. van Raamsdonk" <femke AT cs.vu.nl>
Subject: [Coq-Club] tenure-track position in Theoretical Computer Science
Date: Tue, 23 Apr 2013 10:30:27 +0200 (CEST)

At the Department of Computer Science of the VU University Amsterdam
there is an open tenure-track position for Assistant/Associate Professor
in Theoretical Computer Science. Deadline for application: June 1, 2013.

For information, see

http://www.vu.nl/nl/werken-bij-de-vu/vacatures/2013/047.asp

Contact person is Prof. Wan Fokkink
(tel: +31 (0)20 5987735, e-mail:
w.j.fokkink AT vu.nl)

[Coq-Club] tenure-track position in Theoretical Computer Science, Femke van Raamsdonk, 04/23/2013