Compiler positions available for week ending November 1
1 Nov 1998 11:49:28 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending November 1 (1998-11-01)
| List of all articles for this month |

Newsgroups: comp.compilers,
Date: 1 Nov 1998 11:49:28 -0500
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
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


From: Oege de Moor <>
Subject: Postdoc at Oxford England - funded by Microsoft
Date: 26 Oct 1998 17:35:54 GMT
Organization: Oxford University, England
Reply-To: Oege de Moor <>




Oxford University Computing Laboratory has recently started a
three-year research project in collaboration with Microsoft Research
Laboratories. The goal is to develop a new kind of environment for
transformational programming that permits software to be composed from
a set of independent design decisions or "intentions", using
domain-specific notations and optimization strategies. The specific
aim of the Oxford component of the work is to design a meta-language
for the environment, within which domain-specific abstractions can be
described, implemented and reused.

We now have a vacancy for an additional research officer to join the
project with immediate effect, for an initial period of one year, but
with the expectation of an extension to cover the three-year life of
the project, depending on continuation of the research contract.

The research officer will work at Oxford University Computing
Laboratory, together with three research students and three academics,
namely Oege de Moor, Michael Spivey and Bernard Sufrin. The research
officer's specific tasks will include:

(a) identifying suitable features of current meta languages in
compiler construction and automated theorem proving.

(b) designing and building a prototype implementation of a suitable
meta language.

(c) experimenting with the use of that meta language in case studies.

The successful candidate will

* have demonstrated research ability in a Computing-related

* have experience of programming language design and implementation,
transformational programming, or automated theorem proving,

* actively enjoy the challenge of collaborating with engineers working
in industry.

Familiarity with formal methods of program construction will be an

Salary will be on the age and experience related RS1A grade (currently
15,735 to 23,651 p.a.). Applications should clearly state the post
title and be in the form of a full curriculum vitae plus application
letter, together with the names of two referees. Further details and
selection criteria are available from or on request to The
Administrator of the Computing Laboratory.

The completed application should be sent to arrive before the closing
date of Friday 6th November 1998 and be addressed to: The
Administrator, Oxford University Computing Laboratory, Wolfson
Building, Parks Road, Oxford OX1 3QD. (Email: . Oxford University is an Equal
Opportunities Employer

Informal email enquiries about the academic aspects of
this project and this post are welcome, and should be
directed to one of the academics:
       (Oege de Moor)
       (Michael Spivey)
       (Bernard Sufrin)

Oxford University Computing Laboratory is a full academic department
of the University and at present has twenty-seven academic staff,
thirty-five research officers and approximately sixty doctoral
students, engaged in teaching and carrying out research in computer
science and numerical analysis.

Post a followup to this message

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