coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]9 research assistant positions available

From: Till Mossakowski <till AT informatik.uni-bremen.de>
To: Isabelle Users <isabelle-users AT cl.cam.ac.uk>, jmlspecs-interest AT lists.sourceforge.net, hets-devel AT informatik.uni-bremen.de, SECURITY AT FOSAD.ORG, categories AT mta.ca, CoFI-discuss AT cofi.info, flirts AT informatik.uni-bremen.de, types AT cis.upenn.edu, coq-club AT pauillac.inria.fr, coalgebras AT iti.cs.tu-bs.de, fom AT cs.nyu.edu, verimag-news AT imag.fr, lics AT informatik.hu-berlin.de
Subject: [Coq-Club]9 research assistant positions available
Date: Thu, 16 Nov 2006 11:28:11 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

9 research assistant positions (most of them TVL 13,
approx. � 35,000 to � 50,000 p.a. gross) available, at

Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition:
Reasoning, Action, Interaction
at the Universities of Bremen and Freiburg, Germany

The positions are in general concerned with interdisciplinary
long-term research in Spatial Cognition.

Some of the positions may be of interest to the readers of this list,
because formal methods, logic and category theory are used.

For details, see
http://www.sfbtr8.uni-bremen.de/openpositions.html
(in particular, projects I1, I3 and I4)

--
Till Mossakowski    Office:      Phone +49-421-218-64226
DFKI Lab Bremen     Cartesium    Fax +49-421-218-9864226
Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5
till AT tzi.de
D-28359 Bremen      Room 2.051   http://www.tzi.de/~till

[Coq-Club]9 research assistant positions available, Till Mossakowski