mjr@ecrc.de (Mike Reeve) (05/19/91)
European EEEEE CCCC RRRR CCCC
Computer-Industry E C R R C
Research EEEEE C RRR C
Centre E C R R C
(GmbH) EEEEE CCCC R R CCCC
Call for Applications
=====================
The European Computer-Industry Research Centre (ECRC) is currently looking for
several new
RESEARCHERS in the area of PARALLEL LOGIC PROGRAMMING.
The ElipSys Project at ECRC is establishing a platform, combining logic
programming, constraints and a knowledge-base management system, for the
efficient parallel execution of programs. ECRC now seeks to extend this
platform and to build tools to support the development of parallel programs.
The ElipSys Project encompasses a broad spectrum of activities; ranging from
building applications, through debugging, language design & semantics,
optimization, and implementation,
to porting the system to a variety of parallel & distributed platforms.
Applications are invited in any of these areas, however,
expertise in the development and practical application of techniques for the
static analysis of programs, for example type inference and
abstract interpretation, is particularly sought. As is similar expertise in the
areas of program transformation and partial evaluation.
Applicants should have a solid background in the theory and implementation of
logic programming systems, and combine an enthusiasm for constructing systems
with a desire to build within a semantically sound framework.
A prime requirement is that candidates should be able to demonstrate their
ability and motivation to conduct high-quality research in an international
environment. Although applicants should normally hold a Ph.D.
in Computer Science, younger scientists holding a bachelors or masters degree
are encouraged to apply, provided they combine excellent qualifications with
a commitment to research.
Successful candidates will be expected to perform basic research and prototype
implementation within one of a number of small project teams.
ECRC offers competitive salaries and unlimited duration working contracts.
The working language of the centre is English.
Candidates from outside Germany can expect particular financial as well as
administrative support. Applications, including a curriculum vitae and
the names of two referees, should be sent to the Parallel & Distributed Systems
Group via:
Mike Reeve
ECRC
Arabellastrasse 17
8000 Munich 81
Germany
FAX: +49-89-92699-170
For further information, please phone +49-89-92699-127 or e-mail mjr@ecrc.de