schonber@acf2.UUCP (03/28/85)
The SETL project at New York University has an opening for a research
scientist, to participate in the design and implementation of a new SETL
system. The candidate should have an M.S. or a PhD degree in computer
science, and experience and interest in programming languages and software
engineering.
SETL is a high-level language whose basic dictions come from the mathematical
theory of sets. It has been used extensively for algorithm design and for
software prototyping, most recently in connection with the Ada/Ed project,
which produced the first officially validated translator for Ada.
The goal of the current SETL effort is twofold: to study optimization tech-
niques for SETL, and to design and implement a fast interpreter and state-of-
the-art interactive environment for SETL.
The SETL project is one of the research groups at the Courant Institute of
Mathematical Sciences (CIMS) of NYU. The institute is a leading institution
in mathematics and computer science research, and offers a suberb working
environment, exceptional computing facilities, and the amenities of New
York's most attractive neighborhood.
If you are interested, send mail to Schonberg at CIMS:
Schonberg@nyu-acf2
or
Edmond Schonberg
SETL project, CIMS
251 Mercer Street
New York, NY 10012
or call (212)-460-7482