LLI-Job at Saarbr"ucken, Germany

[My apologies, if you receive this more than once]

         *** Announcement of a Research Position ***

The Universit"at des Saarlandes, Saarbr"ucken, Germany invites
applications for a research Position (BAT 2a) in the
Department of Computer Science. 

In the field of Artificial Intelligence and LLI (Logic,
Language and Information) the Universit"at des Saarlandes, is
one of the foremost research centers in Europe, featuring the
Max Planck-Institute for Computer Science (MPI-I), the German
Research Center for AI (DFKI) and a strong department for
computer science (FBI) with its Sonderforschungsbereich 314
and 1542.

The project LISA (Linguistic Inference for Semantic Analysis of
natural language) is concerned with the application of theorem
proving techniques to the semantic construction. It is a
joint project of the Departments of computer science and
computational linguistics.

The basic linguistic formalism will be lambda-Discourse
Representation Theory and the basic computational formalism
will be higher-order unification and deduction guided by
linguistic information.

The project is funded by the German Research Council
DFG (Deutsche Forschungsgemeinschaft) in the 
Sonderforschungsbereich 1542 "Ressourcenadaptive Systeme"
from January 1. 1996 until December 31. 1998. 
An extension in the Sonderforschungsbereich is possible. 

The BAT 2a salary ranges (depending on age, marital status,
kids) between approximately DM 60.000 and DM 90.000 annually
before taxes.

The task of the position will be to develop (research and
implement) higher-order inference systems for linguistic
applications. The work can be the basis of a PhD. thesis in
computer science.

Must have completed a university degree equivalent to a German
"Diplom" in computer science in order to qualify

Applicants must furthermore have the enthusiasm and ability to
fit into a dynamic academic environment, together with
appropriate experience in at least two of the areas of
automated theorem proving, type theory, higher-order
unification, semantics of natural language. In special cases
(especially for very joung researchers), enthusiasm can be
substituted for experience.

  Dr. Michael Kohlhase
  Universit"at des Saarlandes
  Fachbereich Informatik
  Postfach 151150
  D-66041 Saarbr"ucken

Saarbr"ucken, 20. October 1995

   Dr. Michael Kohlhase   tel/fax. (49)-681-302-4627/4421 
   FB Informatik, Universit"at des Saarlandes, 66041 Saarbr"ucken, Germany 
   net: <kohlhase@cs.uni-sb.de>