English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Ph.D and Postdoc Positions available at the University of Oslo
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2009-06-16 (16:27)
From: Martin Steffen <msteffen@i...>
Subject: Ph.D and Postdoc Positions available at the University of Oslo
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  


   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: