coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra, Formal Methods

From: gumm AT mathematik.uni-marburg.de
To: Lutz Schroeder <lschrode AT tzi.de>
Cc: categories <categories AT mta.ca>, types AT cis.upenn.edu, CoFI Discussion <cofi-discuss AT cofi.info>, "'isabelle-users AT cl.cam.ac.uk'" <isabelle-users AT cl.cam.ac.uk>, haskell AT haskell.org, coq-club AT pauillac.inria.fr, lics-request AT dcs.ed.ac.uk, lprolog AT cs.umn.edu, 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, unification AT sics.se, verimag AT imag.fr, vki-list AT dfki.de, zforum AT prg.ox.ac.uk, action-semantics AT brics.dk, amast AT cs.utwente.nl, behavior AT cs.ucsd.edu, caml-list AT pauillac.inria.fr, coalgebras AT iti.cs.tu-bs.de, comlab AT comlab.ox.ac.uk, comprox AT doc.ic.ac.uk, comp-thy AT listserv.nd.edu, concurrency AT cwi.nl, coordinator AT agentlink.org, cphc-conf AT jiscmail.ac.uk, csd AT lists.ut.ee, cs-logic AT cs.indiana.edu, 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, ifip-wg1_3-members AT daimi.au.dk, ifmsig AT cs.tcd.ie, ifip-wg1_3-observers AT daimi.au.dk, htv AT fct.unl.pt, i3s AT i3s.unice.fr, idss AT socs.uts.EDU.AU, 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 lists.stanford.edu, lmcall AT imag.fr, lm AT di.fct.unl.pt, Lotos-World AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lsm AT cs.indiana.edu, maude-users AT peepal.cs.uiuc.edu, ml AT ics.uci.edu, mscnews AT sdl-forum.org
Subject: [Coq-Club]PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra, Formal Methods
Date: Tue, 17 Jan 2006 09:51:24 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Philipps-Uni Marburg, FB Mathematik & Informatik

The Department of Mathematics and Computer Science at the
University of Marburg, Germany, offers a full time

PhD-Position - Wissenschaftl. Mitarbeiter/in (BAT IIa) -

in the area

Universal Coalgebra / Universal Algebra, Verification, Formal Methods.

Prerequisites:

Excellent degree (Diplom or Master) in Computer Science or Mathematics.
Strong background in one or more of the above areas.
German language fluency.

Tasks:

Service (organization, preparation, counselling) in teaching and research at the
undergraduate and graduate level. PhD-Research

The contract is initially for 1 year, with the possibility for extensions to a total of at most 5 years
If you are interested, please get in touch with

Prof. Dr. H.Peter Gumm
gumm AT mathematik.uni-marburg.de

The official advertisement can be found at

http://www.mathematik.uni-marburg.de/~gumm/Stelle/Stelle.pdf

[Coq-Club]PhD-Position (Mitarbeiterstelle) in Coalgebra, Algebra, Formal Methods, gumm