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