[Prev][Next][Index][Thread]
Research Position in Computational Logic Available
-
To: Thom Fruehwirth <fruehwir@helios.pst.informatik.uni-muenchen.de>
-
Subject: Research Position in Computational Logic Available
-
From: Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>
-
Date: Tue, 7 Oct 97 10:09:03 +0100
-
cc: lp-internet@doc.ic.ac.uk, eapls@mailbase.ac.uk, clpr-users@iscs.nus.sg, ccl@dfki.uni-sb.de, atp_alias@cs.jcu.edu.au, flp_ws_maillist@issan.informatik.uni-dortmund.de, alp-list@intellektik.informatik.th-darmstadt.de, cclp.x@parc.xerox.com, clean-list@cs.kun.nl, rewriting@loria.fr, compunode@ecrc.de, quintus-users@quintus.com, sicstus-users@sics.se, life-users@cs.sfu.ca, clp@cis.ohio-state.edu, flprog@informatik.uni-muenchen.de, lprolog@central.cis.upenn.edu, gulp@di.unipi.it, g-ganzinger@mpi-sb.mpg.de, haskell@dcs.gla.ac.uk, fg121@bach.informatik.uni-ulm.de, idss@socs.uts.EDU.AU, igpl@doc.ic.ac.uk, ikbs@caad.ed.ac.uk, jicslp96@informatik.uni-bonn.de, kr94@mail2.ai.univie.ac.at, lics-email@cs.indiana.edu, lics@research.bell-labs.com, linear@cs.stanford.edu, logic@theory.lcs.mit.edu, lppnmr@cs.engr.uky.edu, mlnet@swi.psy.uva.nl, mrg@itc.it, nl-kr@cs.rpi.edu, parforce@ecrc.de, prolia@tlxf.geomail.org, prolog-pe@bach.ces.cwru.edu, prolog-vendors@sics.se, prolog@mch.sni.de, prolog@sunbim.be, reliable_computing@interval.usl.edu, semantics-list@newton.cam.ac.uk, sgaico@cui.unige.ch, skeletons@dcs.ed.ac.uk, theorem-provers@ai.mit.edu, theory-a@vm1.nodak.edu, theorynt@ndsuvm1.intellektik.informatik.th-darmstadt.de, types@dcs.gla.ac.uk, fg214@informatik.uni-kiel.d400.de
-
Delivery-Date: Tue, 07 Oct 1997 04:11:00 -0500
-
In-Reply-To: <199706251137.NAA05086@phaethon.pst.informatik.uni-muenchen.de>
-
Original-Received: by NeXT.Mailer (1.148)
-
PP-warning: Illegal Received field on preceding line
-
References: <199706251137.NAA05086@phaethon.pst.informatik.uni-muenchen.de>
Research Position in Computational Logic Available
(EC Training and Mobility of Researchers, Framework 4)
As part of our commitment to highly competitive research and
development in constraint reasoning and programming, applications are
invited for research positions at post-doctorate and also
post-graduate level in the field of Computational Logic at the
department of Computer Science, with an emphasis on (concurrent)
constraint (logic) programming, program analysis, synthesis and
transformation of constraint programs or agent based computing
utilizing constraint reasoning.
Researchers would be funded by the European Community under Marie
Curie Fellowships provided by the Training and Mobility of Researchers
(TMR) scheme of the Framework 4 programme for a maximum of 36 months
(post-grad) or 24 months (post-doc). Applicants must be nationals of
the European Union (except Germany), or an associated state (Iceland,
Israel, Lichtenstein, Norway, Switzerland), normally not older than
35.
More information about TMR Activity 3 Marie Curie Research Training
Grants you find at http://www.cordis.lu/tmr/src/grants1.htm which has
the following links:
Frequently Asked Questions http://www.cordis.lu/tmr/src/quest&an.htm
Information Package ftp://ftp.cordis.lu/pub/tmr/docs/rtg_971.doc
Application Form ftp://ftp.cordis.lu/pub/tmr/docs/rtg_971.doc
Evaluation Guide ftp://ftp.cordis.lu/pub/tmr/docs/tmr-eval.doc
More information on our activities in constraint reasoning and
programming you find at
http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/cwg.html
Our department of computer science is located right at the "English
Garden", the huge gardens and woods along the river Isar passing right
through the city center. Wealthy Munich is Germanys High-Tech-capital
and largest academic city. Its surroundings feature pleasant lakes and
the Alps.
EMAIL YOUR APPLICATION (uuencoded compressed postscript file(s),
including a detailed CV, list of publications, references, sample
papers and project proposal or statement of research interests) to
Dr. Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>.
The deadline for applications is November 6, 1997. Decisions will be
emailed by End of November. If you are selected, the deadline for
applications to reach the European Union is December 15, 1997.
Decisions are expected in May 1998. If accepted, starting date is
between June and December 1998.
Dr. Thom Fruehwirth
LMU (Ludwig-Maximilians-University Munich)
Department of Computer Science
Oettingenstr. 67, D-80538 Munich, Germany
Phone: +(49) 89 2178-2181, Fax: +(49) 89 2178-2175