[Prev][Next][Index][Thread]
Positions at the Technical University of Denmark
-
To: concurrency@cwi.nl, eapls@mailbase.ac.uk, glasgow-fp@dcs.gla.ac.uk, haskell@haskell.org, lics@research.att.com, appsem@cs.chalmers.se, logic@cs.cornell.edu, multi at cs.chalmers.se, prog-lang@diku.dk, theorem-provers@ai.mit.edu, types@cis.upenn.edu, smid-medl@imv.au.dk, harning@sigchi.dk, stimdi-rek-subscribe@yahoogroups.com, bcs-hci-request@mailbase.ac.uk, chi-Jobs@acm.org, pop-group@cs.cmu.edu, DMANET@zpr.uni-koeln.de, theory@cl.cam.ac.uk, appsem@dcs.qmw.ac.uk, prog-lang@diku.dk, focs@comlab.ox.ac.uk, theory@brics.dk, prog-lang@brics.dk
-
Subject: Positions at the Technical University of Denmark
-
From: Hanne Riis Nielson <riis@imm.dtu.dk>
-
Date: Mon, 29 Oct 2001 10:00:35 +0100
-
Cc: km@imm.dtu.dk
A number of positions are available at the Department of Informatics
and Mathematical Modelling at the Technical University of Denmark:
- one or more associate professorships (tenured) within the
area of secure and reliable systems (comprising real-time
systems, programming languages, security and reliability);
see http://www.adm.dtu.dk/nyheder/job/sos0312_e.htm for
more details
- a PhD scholarship (3 years) associated with the static
analysis workpackage of the upcoming EU project DEGAS;
see http://www.imm.dtu.dk/~riis/degas.jpg for a brief
description of the project
- a postdoc/research assistant position (1 year, possibly
with extension to 2 years) associated with the static
analysis workpackage of the EU project SECSAFE; see
http://www.imm.dtu.dk/~riis/secsafe.jpg for a brief
description of the project
Apologies for multiple copies of this message.
--
--------------------------------------------------------------------
Hanne Riis Nielson direct phone: (+45) 4525 3736
Informatics & Mathematical Modelling mailto:riis@imm.dtu.dk
Technical University of Denmark http://www.imm.dtu.dk/~riis
--------------------------------------------------------------------