[J5] _________________________ AMAST Links 02 06

Visiting Research Position

University of Uppsala, Sweden

The full version of this contribution is available.

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

• formal methods and tools for design and analysis of distributed systems, real-time systems, and hardware circuits.
• real-time systems.
• high performance software communication system architectures.
• 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.

• Formal Program Development and semantics for distributed and real-time systems;

  more information: contact Bengt Jonsson, bengt@docs.uu.se

• Real-Time Systems;

  more information: contact Hans Hansson, hansh@docs.uu.se

• 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