[TYPES] Open post doc position in formal methods at University of Oslo

[Olaf Owe]

 --- sorry for any multiple copies----

There is an open POST DOC postition in Formal Methods 
at University of Oslo, Department of Informatics, Norway,
in the group of Precise modeling and analysis.
  
The Department is looking for a candidate with research ambitions
within formal methods, with emphasis on object oriented systems, open
distributed systems, and analysis of security. For a further
description of the research group and its activities, see:
http://www.ifi.uio.no/forskning/grupper/pma/index_e.html

Olaf Owe