assistent professorship at Technische Universiteit Eindhoven

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.