Research Position in Computational Logic Available

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

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

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