[TYPES/announce] Ph.D and Postdoc Positions available at the University of Oslo

[Martin Steffen]

The Department of Computer Science at the University of Oslo, in the Group
of ``Precise Modelling and Analysis'' has open positions both at Ph.D level
and at Post-Doc level in areas that could be of interest of readers of this
email list. 

----------------------------------------------------------------------
   2-3 PhD-positions  

and 

   up-to 2 dost doctor positions

----------------------------------------------------------------------

starting               1. September.
Application deadline: 10. August.

---------------------------------------------------------------------

The general areas include: semantics of (object-oriented) programming
languages, concurrency and distributed systems, formal methods, software
engineering, and formal program analysis and verification.

Detailed descriptions about the requirements, the topics of work, the
projects the positions are related to, the work group, about salary and
about Norway as work environment etc. can be found at the long version of
the advertisement under:


    http://www.ifi.uio.no/forskning/grupper/pma/index_e.html