From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA03359; Mon, 26 Nov 2001 12:39:10 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA03830 for caml-list@pauillac.inria.fr; Mon, 26 Nov 2001 12:39:09 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA23222 for ; Fri, 23 Nov 2001 11:11:58 +0100 (MET) Received: from ii.uib.no (eik.ii.uib.no [129.177.16.3]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fANABvj00513 for ; Fri, 23 Nov 2001 11:11:57 +0100 (MET) Received: from busk.ii.uib.no [129.177.192.61] by ii.uib.no with smtp (Exim 3.03) id 167DJ7-0002Og-00 ; Fri, 23 Nov 2001 11:11:41 +0100 Date: Fri, 23 Nov 2001 11:11:41 +0100 (MET) From: Marc Bezem Reply-To: Marc Bezem Subject: [Caml-list] PhD positions in Informatics, Bergen University, Norway To: amast@cs.utwente.nl, theorynt@listserv.nodak.edu, caml-list@inria.fr MIME-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii Content-MD5: A6hAg8KwriGBN+hEvgUTBw== X-Mailer: dtmail 1.3.0 @(#)CDE Version 1.4.2 SunOS 5.8 sun4u sparc Message-Id: Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 2 PhD positions Institute for Informatics University of Bergen, Norway 1. The project. --------------- MoSIS is a IKT project funded by the Norwegian Science Council (NFR) for the period 2002-2005. Its descriptive full title is: Modularity in large Software and Information Systems Modularization techniques are essential for mastering the complexity of large systems. There are many approaches: agents, components, libraries, ... The overall aim of the project is to develop a conceptual and formal framework for the composition and interaction of software modules at various levels of abstraction. The two relevant subprojects aim at applying formal techniques based on type theory, algebra and/or category theory to programming `in the large'. For more information on the project, see http://www.ii.uib.no/MoSIS 2. The profile of the candidates. --------------------------------- You have a Master degree (or equivalent) in Computer Science, Informatics, Mathematics or Logic. You enjoy working in an internationally oriented, English speaking research environment. 3. The jobs. ------------ The positions are opening up in 2002 and last for three years. There are in principle no teaching duties. There is a perspective for prolongation of at most one year as a research associate. The salary is about EUR 32.000 per year. 4. Information and how to apply. -------------------------------- More information can be obtained from Prof.Dr. M.A. Bezem (bezem@ii.uib.no). You are invited to send an application letter by e-mail, together with a curriculum vitae and the names and addresses of two references, before 21 December 2001. Applicants from outside the European Economic Area (EEA) will be considered. In a later stage of the procedure we may ask you to write a formal application to the faculty. 5. Bergen, Norway. ------------------ Bergen is the second-largest city in Norway, beautifully situated between 7 mountains (up to 600m) and fjords. Bergen has about 230.000 inhabitants and all facilities, including a nearby airport. The climate (including tax pressure) is milder than most people expect, but it can rain quite hard, indeed. For more information on - Bergen, see http://www.bergen-guide.com/ - Bergen University, see http://www.uib.no/ - Institute for Informatics, see http://www.ii.uib.no/ - Marc Bezem, see http://www.ii.uib.no/~bezem ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr