coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] A Position in Theoretical Computer Science in Braunschweig

From: Jiri Adamek <adamek AT iti.cs.tu-bs.de>
To: "'isabelle-users AT cl.cam.ac.uk'" <isabelle-users AT cl.cam.ac.uk>, action-semantics AT brics.dk, amast AT cs.utwente.nl, behavior AT cs.ucsd.edu, caml-list AT pauillac.inria.fr, categories <categories AT mta.ca>, coalgebras AT iti.cs.tu-bs.de, CoFI Discussion <cofi-discuss AT cofi.info>, comlab AT comlab.ox.ac.uk, comp-thy AT listserv.nd.edu, comprox AT doc.ic.ac.uk, concurrency AT cwi.nl, coordinator AT agentlink.org, coq-club AT pauillac.inria.fr, cphc-conf AT jiscmail.ac.uk, cs-logic AT cs.indiana.edu, csd AT lists.ut.ee, deduktion AT intellektik.informatik.tu-darmstadt.de, DMA-LIST AT NIC.SURFNET.nl, DMANET AT zpr.uni-koeln.de, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, eatcs-it-l AT unifi.it, ecoop-info AT ecoop.org, elf-list AT cs.cmu.edu, elotos AT inrialpes.fr, esterel-users AT sophia.inria.fr, eti-users AT eti-service.org, finite-model-theory AT informatik.rwth-aachen.de, fits-list AT site.uottawa.ca, formal-methods AT cs.uidaho.edu, gragra AT i3.informatik.rwth-aachen.de, haskell AT haskell.org, htv AT fct.unl.pt, i3s AT i3s.unice.fr, idss AT socs.uts.EDU.AU, ifip-wg1_3-members AT daimi.au.dk, ifip-wg1_3-observers AT daimi.au.dk, ifmsig AT cs.tcd.ie, infoagents AT gmd.de, informatica AT deis.unibo.it, infprja AT cs.utwente.nl, ipa AT win.tue.nl, lfcs-interest AT dcs.ed.ac.uk, lfg AT mailman.stanford.edu, lics-request AT dcs.ed.ac.uk, Luis Monteiro <lm AT di.fct.unl.pt>, lmcall AT imag.fr, Lotos-World AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lprolog AT cs.umn.edu, larry moss <lsm AT cs.indiana.edu>, maude-users AT peepal.cs.uiuc.edu, ml AT ics.uci.edu, mscnews AT sdl-forum.org, nuprlnotes AT cs.cornell.edu, om-announce AT lars.math.fsu.edu, ozsl-list AT wins.uva.nl, parallel-io AT dartmouth.edu, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, sdlnews AT sdl-forum.org, seworld AT cs.colorado.edu, spin_list AT research.bell-labs.com, theory-logic AT cs.cmu.edu, types AT cis.upenn.edu, unification AT sics.se, verimag AT imag.fr, vki-list AT dfki.de, zforum AT prg.ox.ac.uk
Subject: [Coq-Club] A Position in Theoretical Computer Science in Braunschweig
Date: Mon, 12 Nov 2007 15:34:52 +0100 (CET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

6-year PhD or Post Doc Position in Theoretical Computer Science

At the Institute of Theoretical Computer Science
of the Gauss Faculty of the Technical University of Braunschweig
a position is available from December 2007.
Candidates must have an outstanding undergraduate degree
(German Diplom, Master or equivalent) in computer science with a strong
theoretical background or a degree in mathematics. Post-doctoral
candidates can also be considered.

The successful candidate is expected to combine research in the field of
algebraic and coalgebraic methods in computer science with teaching duties
of 4 hours a week which are expected to be held in German.

The position will initially be filled for two years and is extendable for
up to six years. The salary ranges between EUR 2800 and 3100 per month
depending on the background of the candidate.

Candidates are requested to send their applications until November 15 to
me, preferably by e-mail.

According to current German legal rules preference must be given to
equally qualified female or disabled candidates.

Prof. Dr. Jiri Adamek
Chair of the Institute for Theoretical Computer DScience
Technical University of Bruanschweig
Postfach 3386
38 106 Braunschweig,
Germany

xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
alternative e-mail address (in case reply key does not work):
J.Adamek AT tu-bs.de
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx

[Coq-Club] A Position in Theoretical Computer Science in Braunschweig, Jiri Adamek