[Prev][Next][Index][Thread]
assistent professorship at Technische Universiteit Eindhoven
-
To: nvti-list <nvti-list@cwi.nl>, amast <amast@cs.utwente.nl>, concurrency <concurrency@cwi.nl>, facs <facs@lboro.ac.uk>, formal-methods <formal-methods@cs.uidaho.edu>, formal-methods <formal-methods@cs.utoronto.ca>, members <members@fmeurope.org>, types <types@cis.upenn.edu>, safety-critical <safety-critical@cs.york.ac.uk>, coq-club <coq-club@pauillac.inria.fr>, csl <csl@dbai.tuwien.ac.at>, csp <csp@carlit.toulouse.inria.fr>, isabelle-users <isabelle-users@cl.cam.ac.uk>, lambda-usergroup <lambda-usergroup@dcs.ed.ac.uk>, reliable_computing <reliable_computing@interval.usl.edu>, theorem-provers <theorem-provers@ai.mit.edu>
-
Subject: assistent professorship at Technische Universiteit Eindhoven
-
From: Erik de Vink <evink@win.tue.nl>
-
Date: Wed, 20 Nov 2002 11:00:47 +0100
There is a vacancy for an assistant professor in the Formal Methods
group at Technische Universiteit Eindhoven. We are looking for an
enthousiastic colleague with research interest in Type Theory, Process
Algebra, Verification Tools, or some mix of this. For further
information see
http://www.win.tue.nl/vacatures/wetenschappelijk_index.php or contact
prof.dr. Jos Baeten, josb@wint.ue.nl.