From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1206
Path: news.gmane.org!not-for-mail
From: "Erik Meijer" <erik@cse.ogi.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: PhD and Postdoc Positions in Software Technology (Utrecht University)
Date: Tue, 31 Aug 1999 12:57:01 +0200
Organization: Utrecht University
Message-ID: <010601bef39f$8e06ea00$9250d383@dns.microsoft.com>
Reply-To: "Erik Meijer" <erik@cs.uu.nl>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Trace: ger.gmane.org 1241017637 29945 80.91.229.2 (29 Apr 2009 15:07:17 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:07:17 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: cat-dist Wed Sep  1 15:01:02 1999
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id NAA13977
	for categories-list; Wed, 1 Sep 1999 13:22:57 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.2314.1300
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
X-MIME-Autoconverted: from quoted-printable to 8bit by mailserv.mta.ca id HAA30399
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 46
Xref: news.gmane.org gmane.science.mathematics.categories:1206
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1206>

[Apologies if you receive multiple copies of this message]

PhD and POST-DOC POSITIONS AVAILABLE

Department of Computer Science
Utrecht University
The Netherlands
http://www.cs.uu.nl

The Software Technology research group at Utrecht University has several 
doctoral and post-doctoral positions available. The positions are funded by 
the department, Microsoft Research, and the Dutch Science Foundation (NWO). 
The main research interests of the group are tool support for the development 
of computer assisted teaching material, components and scripting, program 
generation and transformation, tree displaying and manipulation, generic 
programming, and provably correct systems.

We seek candidates in any of the following topics:

* Software architecture:
    component-based software, (D)COM, Corba, JINI,
    distributed systems.
* Security:
    formalisation and verification of security properties,
    transaction processing.
* Language design:
    advanced type systems, generic programming, intermediate languages.
* Language implementation:
    interoperability, platform independent run-time systems,
    program transformation.
* Scripting:
    domain specific languages, e-commerce.

Applications will be evaluated from now on until the positions are filled.

To apply (or for further details) please send email to

  Erik Meijer (mailto:erik@cs.uu.nl)

Your email application should include a CV (ascii or postscript) and pointers 
to any on-line articles that you wish us to consider. Please can you also 
include names and email addresses of potential referees.