🚀 go-pugleaf

Announcement: 2 Post-Doctoral Positions Available
-------------------------------------------------

Positions:

We have 2 post-doctoral positions available starting June 1, 1996 (or
later). These positions are not restricted by citizenship. Approval of
these openings is pending.

Context:

The research work is to be done in the Partial Evaluation Group at
IRISA (Brittany, France). This group mainly consists of 1 faculty
member, 1 research scientist, 2 post-docs, and 5 Phd students.  More
information about the place and the research topics of the group can
be obtained from our Web page 
(http://www.irisa.fr/EXTERNE/projet/lande/consel/index.html)

Research Area:

Partial Evaluation is a program transformation approach. It is aimed
at specializing programs with respect to invariants. Specialization
can occur at compile time as well as run time. We are working on
partial evaluation of imperative and applicative languages.  Our work
is being applied to various areas such as operating systems.

Position 1:

This position is concerned with the design and development of a
partial evaluation system for C programs. A first prototype of this
system, called Tempo, has already been developed; it consists of
various program analysis and program transformation phases. It is
written both in SML and C. Applicants should have a solid background
in optimizing compilation and program analysis.

Position 2:

For this position, the selected applicant is expected to participate
in the development of partial evaluation techniques for real-time and
distributed systems.  An example of this is telecommunication
applications. As such, this topic combines both systems and
programming language aspects. Applicants should have a solid
background in some of these areas.


To apply please send a resume, the name of three references, and a
statement of research interests to charles.consel@irisa.fr and
isabelle.vallee@irisa.fr.  Please contact Charles Consel if you need
further information.