Compiler positions available for week ending July 12

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: Oege.de.Moor@comlab.ox.ac.uk (Oege de Moor)
Subject: Three MS funded fellowships (Oxford, England)
Date: Mon, 6 Jul 1998 19:11:33 +0100 (BST)
Organization: Oxford University


OXFORD UNIVERSITY COMPUTING LABORATORY


                          THREE RESEARCH STUDENTSHIPS
                                            funded by Microsoft Research




PROJECT: "A Meta Language for Intentional Programming"
The Intentional Programming Project at Microsoft Research aims
to construct a novel programming environment that allows
programmers to routinely implement domain-specific notations
and optimizations. One could say that the environment will
play a role to Visual Studio that resembles the role of yacc to
gcc. To realise this idea, we need a "meta language" for
specifying new notations and optimizations in a compositional
fashion, so that they can be maintained and re-used. The
purpose of this project is to design such a meta language for the
system now under development at Microsoft.


RESEARCH GROUP: "Programming Tools"
The newly created "Programming Tools" group at Oxford builds
tools for the working programmer, based on sound theory.
Apart from this project, we work on a language for specifying
telephone systems (funded by GPT), a hardware compiler
(now in use at Sharp), and principled optimizing code
generators. A number of research students in the group are
investigating re-engineering of legacy systems. We work
closely with other research groups in the laboratory, who
provide us with theoretical results and case studies. Current
members of the group include Mike Spivey, Bernard Sufrin,
Oege de Moor and Quentin Miller.


REQUIREMENTS:
Applications are sought from candidates with interests both in
programming tools and theory. In particular, we look for a
good background in compiler construction, functional
programming, systems specification, and automated
theorem proving. UK candidates are expected to have a
1st class honours degree.


BENEFITS:
The studentships will cover fees and subsistence. Support is
at the level of an EPSRC CASE studentship; overseas applicants
are expected to apply for a supplementary ORS award.
Each student is likely to have exclusive use of equipment on loan
from Microsoft. Successful applicants may be considered for
summer internships at Microsoft's Redmond laboratory.


APPLICATIONS AND FURTHER INFORMATION:
Applications should be in the form of a full curriculum vitae,
clearly marked 'Microsoft'. These should be sent to: The
Secretary for Graduate Studies, Oxford University Computing
Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD.
Email applications should be sent to: julie@comlab.ox.ac.uk;
requests for further information should also be directed to this
email address. It is expected that interviews will be held at the
end of July.


--

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