[J5] ================================================ AMAST Links 02 06

                      Visiting Research Position 
                     University of Uppsala, Sweden

   The full version of this contribution is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206J5.txt

  The department of Computer Systems at Uppsala University offers
several positions as visiting researcher starting in Autumn 1995.
  Uppsala is located 70 km north of Stockholm. The departments of 
computer systems, computing science, mathematics, numerical analysis, 
and automatic control, are located together on a newly renovated 
campus.  Research at the department of Computer Systems is focussed on
 o  formal methods and tools for design and analysis of distributed 
    systems, real-time systems, and hardware circuits.
 o  real-time systems. 
 o  high performance software communication system architectures.
 o  neural networks.
  The positions are intended for one (possibly two) years.  We seek
applicants with a PhD and a research record in area(s) that are 
relevant to the research at the department. In particular we are 
looking for applicants in the following areas.
 o  *Formal Program Development* and semantics for distributed and 
    real-time systems; 
       more information: contact Bengt Jonsson, bengt@docs.uu.se
 o  *Real-Time Systems*;
       more information: contact Hans Hansson, hansh@docs.uu.se
 o  *End-to-End Protocols*, *Protocol Implementations* and
    *Execution Environments* for multimedia and other real time
    applications; 
       more information: Per Gunningberg, per.gunningberg@docs.uu.se
  Interested? Please send CV and state your interests and requirements
by e-mail, fax or physical mail to
   (Bengt Jonsson | Hans Hansson | Per Gunningberg)
   Uppsala University, Dept of Computer Systems
   Box 325, S - 751 05 Uppsala, Sweden,
   fax: +46 - 18 - 55 02 25
   e-mail: (bengt|hansh|perg)@docs.uu.se