[TYPES/announce] 3 PhD positions in Formal Methods at University of Oslo

[Einar Broch Johnsen]

   =====================================================
             With apologies for multiple postings
   =====================================================

             3 Open PhD Positions in Formal Methods

  at the group for Precise Modeling and Analysis (PMA) at the
  Department of Informatics, University of Oslo, Norway.
  Two positions are part of an EU project (Credo) and one is part of
  a Nordunet project.  See the PMA homepage
     http://www.ifi.uio.no/forskning/grupper/pma/index_e.html
  for more information.

  Best regards,
  Einar Broch Johnsen