coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
Archive powered by MhonArc 2.6.16.