From: "Erik Meijer" <erik@cse.ogi.edu>
To: <categories@mta.ca>
Subject: PhD and Postdoc Positions in Software Technology (Utrecht University)
Date: Tue, 31 Aug 1999 12:57:01 +0200 [thread overview]
Message-ID: <010601bef39f$8e06ea00$9250d383@dns.microsoft.com> (raw)
[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.
reply other threads:[~1999-08-31 10:57 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='010601bef39f$8e06ea00$9250d383@dns.microsoft.com' \
--to=erik@cse.ogi.edu \
--cc=categories@mta.ca \
--cc=erik@cs.uu.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).