Compiler positions available for week ending September 5

compilers@iecc.com (comp.compilers)
6 Sep 1999 11:48:30 -0400

          From comp.compilers
Related articles
Compiler positions available for week ending September 5 compilers@iecc.com (2004-09-08)
Compiler positions available for week ending September 5 compilers@iecc.com (1999-09-06)
A backtracking LR(1) parser generator mspencer@tinet.ie (Michael Spencer) (1999-09-10)
| List of all articles for this month |
From: compilers@iecc.com (comp.compilers)
Newsgroups: comp.compilers,misc.jobs.offered
Date: 6 Sep 1999 11:48:30 -0400
Organization: Compilers Central
Keywords: jobs

This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to compilers@iecc.com.




-------------------------------


From: "Erik Meijer" <erik@cs.uu.nl>
Subject: PhD and Postdoc Positions in Functional Programming and Compiler Hacking
Date: Tue, 31 Aug 1999 12:47:38 +0200
Organization: Utrecht University


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.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.