Skip to Content.
Sympa Menu

coq-club - [Coq-Club]9 research assistant positions available

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]9 research assistant positions available


chronological Thread 
  • 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





Archive powered by MhonArc 2.6.16.

Top of Page