Research and Teaching Assistant at Department of Computer Science,
University of Koblenz-Landau in Koblenz, Germany

Logics, Theorem Proving and Agent-Based Systems

Within  the AI Research Group, Koblenz University, Germany we of-
fer a position for basic research and teaching in Logics, Theorem
Proving and agent-based Systems. The post requires a post-doctor-
al or graduate researcher with a  background  in  the  above-men-
tioned  areas.  Graduate  candidates are expected to work towards
their PhD. Experiences in multi agent  systems,  electronic  pub-
lishing or knowledge representation is a plus. Your teaching load
will be around 4 hours per semester. Knowledge of German  is  not
explicitly required; a good command of English is sufficient. The
appointment is for a period of 2 years with an optional extension
of  additional  3 years, starting as soon as possible. Net salary
is ~1500 Euro per month, depending on age and marital status.

The AI Research Group:

The  Artificial  Intelligence Group in Koblenz is one of the most
productive ones in Germany.  The research of the  Group  is  con-
cerned with the theoretical principles of artificial intelligence
and their application to real-world domains. Most of the research
of  the group focuses on the areas of multi agent systems, intel-
ligent information systems and automated reasoning. We provide  a
stimulating  research environment within an international team of
researchers.

The  University  of  Koblenz-Landau  is committed to increase the
number of women in research and teaching and therefore encourages
qualified female scientists to apply for this position.

Tel: +49 261 287 2728).  More information  about our projects can
be found at   http://www.*-*-*.com/

Applicants  should  submit  a curriculum vitae and a statement of
research interests to

Praesident der
Universitaet Koblenz-Landau
Praesidialamt
Isaac-Fulda-Allee 3
55124 Mainz, Germany

If you submit your application electronically, please use either
plain text, postscript or PDF files.

--
Oliver Obst  0261 287-2774      form follows function - Louis Sullivan
AI Research Group              
U Koblenz   MB219      https://www.uni-koblenz.de/~fruit/publickey.txt

[ comp.ai is moderated.  To submit, just post and be patient, or if ]

[ ask your news administrator to fix the problems with your system. ]