From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 70CFBBBAF for ; Tue, 16 Jun 2009 18:27:00 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8CALJkN0qB8Ao5kWdsb2JhbACOUQGKAAEBAQEJCwoHEwW8OYQNBQ X-IronPort-AV: E=Sophos;i="4.42,229,1243807200"; d="scan'208";a="31379086" Received: from mail-out1.uio.no ([129.240.10.57]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Jun 2009 18:27:00 +0200 Received: from mail-mx6.uio.no ([129.240.10.47]) by mail-out1.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1MGbUx-0005mP-Hh for caml-list@inria.fr; Tue, 16 Jun 2009 18:26:59 +0200 Received: from kamba.ifi.uio.no ([129.240.68.82]) by mail-mx6.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1MGbUv-00027n-OA for caml-list@inria.fr; Tue, 16 Jun 2009 18:26:59 +0200 Received: from msteffen by kamba.ifi.uio.no with local (Exim 4.44) id 1MGbUv-0007AD-My for caml-list@inria.fr; Tue, 16 Jun 2009 18:26:57 +0200 To: caml-list@inria.fr Subject: Ph.D and Postdoc Positions available at the University of Oslo Message-Id: From: Martin Steffen Date: Tue, 16 Jun 2009 18:26:57 +0200 X-UiO-Ratelimit-Test: rcpts/h 9 msgs/h 7 sum rcpts/h 11 sum msgs/h 7 total rcpts 504 max rcpts/h 26 ratelimit 0 X-UiO-Spam-info: not spam, SpamAssassin (score=-5.0, required=5.0, autolearn=disabled, UIO_MAIL_IS_INTERNAL=-5, uiobl=NO, uiouri=_URIID_) X-UiO-Scanned: 70C1835829AAD89CF92631CE0A9AA22B8D8B8C46 X-UiO-SPAM-Test: remote_host: 129.240.68.82 spam_score: -49 maxlevel 80 minaction 2 bait 0 mail/h: 6 total 624 max/h 48 blacklist 0 greylist 0 ratelimit 0 X-Spam: no; 0.00; postdoc:01 post-doc:01 semantics:01 dost:98 doctor:98 10.:98 norway:98 languages:03 programming:03 concurrency:04 deadline:05 distributed:05 long:06 group:07 group:07 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