Compiler positions available for week ending July 19

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: Robert Muller <muller@cs.bc.edu>
Subject: Postdoc Ad: Church Project (Boston)
Date: 15 Jul 1998 03:39:31 GMT
Organization: Computer Science Dept.


Post-doctoral Researcher Position
                                          Ph.D. Student Positions


                                                Boston University
                                                    Church Project
                                    Boston, Massachusetts, U.S.A.


A post-doctoral research position is available at Boston University in
Boston, Massachusetts as part of the Church Project
(http://www.cs.bu.edu/groups/church/).


The Church Project
==================


The Church Project (named in honor of Alonzo Church) is a primarily
Boston-based research project investigating (among other things) the
use of polymorphic flow types in the compilation of strongly and
polymorphically typed higher-order programming languages.


The project is currently developing a compiler for ML in SML/NJ for
the purpose of evaluating and refining the technology of polymorphic
flow types. The compiler uses a typed intermediate language which
integrates flow information with a (labeled) type system featuring
intersection and union types. The compiler and its intermediate
language support type/flow-directed optimization and customization of
data representations. All work is done in a strongly typed framework,
i.e., program transformations must correctly transform the associated
type (and flow) information.


The project has active participants from six institutes of higher
learning, mostly in the Boston area. The principal investigators of
the project are Anindya Banerjee (Stevens Institute of Technology),
Assaf Kfoury (Boston University), Robert Muller (Boston College),
Franklyn Turbak (Wellesley College), and Joe Wells (University of
Glasgow). A number of doctoral students are also involved.


The Church Project holds a regular seminar meeting at Boston
University. The seminar serves as a forum for project members and
visitors to present related work and to discuss project-related
issues.


In addition to the already-mentioned compiler work, members of the
Church Project are involved in related research activities which
include:


      flow analysis
      object-oriented languages
      rewriting (first-order and higher-order)
      memory management
      security
      type search (a.k.a. type inference)
      types
      type-directed programming environments


Post-Doctoral Researcher
========================


The post-doctoral researcher will have a major role in:


    * Further design, implementation, and evaluation of the compiler,
        including:


        + Type/flow-based program transformations both for
            whole-program and modular compilation, and


        + Improvements to the flow-type system based on experience with
            the implementation.


    * Theoretical research justifying the design and implementation of
        the compiler.


    * Running the seminar.


There will be flexibility for the post-doctoral researcher to pursue
personal research interests in the context of the project.


The ideal candidate will have a strong background in more than one of:


    * code generation
    * compilers and compiler verification
    * flow analysis
    * formal methods
    * program transformation
    * type theory
    * working on large programming projects in ML


The successful candidate will benefit from having a background in
theory, a good understanding of real computer systems (e.g., computer
architecture and operating systems), and a lively interest in bridging
the gap between theory and implementation.


The appointment is initially for one year and renewable for up to
three years. The salary is negotiable and commensurate with
experience.
The starting date is negotiable --- ideally by September 1998 and
hopefully not later than January 1999.


The research is to be conducted primarily at Boston University but
will involve meetings at the affiliated universities. Boston
University is located in the Back Bay area of Boston, which is an
excellent place to be for researchers in programming languages and
compilers.


Ph.D. Students
==============


There is ample opportunity for Ph.D. students at Boston University to
work on the compiler as well as on related theoretical investigations.
Funding is available for exceptional students. Entry is in September
or January, and must be arranged in advance to allow for the
possibility of funding for that semester.


Contact
=======


For further information, contact:


Assaf Kfoury
Computer Science Department
Boston University
Boston, MA 02215
U.S.A.


Tel: +1 617 353 8911
Fax: +1 617 353 6457
E-mail: kfoury@cs.bu.edu


--

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