[J2] ================================================ AMAST Links 01 01

               Postdoctoral positions at BRICS, Denmark
  There are to be several postdoctoral positions at BRICS for a period
of one to two years starting in 1995.  Applications by researchers are
welcome in the areas of logic, semantics and algorithmics. Applications
for positions should preferably be sent by email and include curriculum
vitae and two or three names of referees for recommendations as well as
the referees' regular mail addresses and, if possible, email addresses.
  BRICS, a Centre for Basic Research in Computer Science, is funded by
the Danish National Research Foundation for the period 1994-1999.  Its
aim is to establish in Denmark important areas of basic research in the
mathematical foundations of Computer Science, notably Algorithmics and
Mathematical Logic.  The Centre is to develop these areas as a joint
effort between the theoretical-computer-science groups at Aarhus
University and Aalborg University.  The research plan is based on a
committment to develop Algorithmics and Logic integrated with existing
strong activities in Semantics of Computation, using a combination of
long-term efforts and a number of short-term, intensive programmes,
within carefully chosen scientific themes. Organizationally, BRICS
is an autonomous centre with its own management, and yet with its
activities strongly integrated in the existing infrastructure and
student environments at the two universities.
  Scientific planning is the responsibility of the following committee:
Glynn Winskel, Professor (Aarhus), Director
Mogens Nielsen, Associate Professor (Aarhus), Codirector
Erik Meineche Schmidt, Associate Professor (Aarhus), Codirector
Uffe Engberg, (Aarhus), Project Manager
Kim Guldstrand Larsen, Professor (Aalborg)
Peter D.Mosses, Associate Professor (Aarhus)
Michael Schwartzbach, Associate Professor (Aarhus) 
Arne Skou, Associate Professor (Aalborg) 
Sven Skyum, Associate Professor, Reader (Aarhus) 
  Further information on BRICS can be accessed through World Wide Web:
URL: http://www.daimi.aau.dk/BRICS/
and by anonymous FTP, see: URL: ftp://ftp.daimi.aau.dk/pub/BRICS/README
Addresses: BRICS, Department of Computer Science, University of Aarhus
           Ny Munkegade, building 540, DK - 8000 Aarhus C, Denmark.
Phone: +45 8942 3360, fax: +45 8942 3255, Internet: BRICS@daimi.aau.dk