JUNIOR RESEARCHERS positions at the University of Amsterdam

[markvdb@wins.uva.nl (Mark van den Brand)]

At the Programming Research Group of the University of Amsterdam
(Faculty of Mathematics, Informatics, Physics and Astronomy/
Department of Computer Science) positions are available for

	2 JUNIOR RESEARCHERS (`Assistent in Opleiding -- AIO')

in two of the following three research areas:

Area 1: Process Algebra
-----------------------

Current research topics in this area are:

(a) Grid Protocols: a process algebra based modeling of parallel
    computation in networks with synchronous communication;
(b) Recursive Operations, such as Kleene star and nesting:
    expressivity, axiomatizations, and applications in the field of
    specification and verification of distributed systems;
(c) Further integration of (a) and (b).

In this area the AIO will contribute to the work on theoretical
issues (expressivity, semantics, axiomatizations, proof systems,
characterization results), and possibly also to the further 
development and application of current tools (animation of process
algebraic specifications, muCRL Toolkit).

Further information on Area 1: dr. A. Ponse (phone: (+31)20-5257592;
e-mail: alban@wins.uva.nl)

Area 2: Constraint Programming
------------------------------

Constraint programming is an alternative approach to programming in
which the programming process is limited to a generation of
requirements (constraints) and a solution of these requirements by
specialised methods (constraint solvers) combined with some powerful
search techniques. 
  Constraint programming has been successfully applied in many
areas including business applications (option trading),
molecular biology (DNA sequencing) and operations research.
  We are currently developing a programming notation better suited for
this programming style and investigate new ways of expressing its
basic ingredients.
  This area is both of practical and theoretical nature.  Therefore
the candidates should have either experience in programming languages
and compiler writing or a good background in uses of mathematical
logic in Computer Science.

Further information on Area 2: prof. dr. K. Apt (phone: (+31)20-5924135;
e-mail: apt@cwi.nl)

Area 3: Tools for Program Analysis
---------------------------------- 

The work in the group is based on three mutually related research
directions:

(a) Using algebraic specification and term rewriting for
    the generation of interactive systems and language processing tools
    (ASF+SDF Meta-Environment);
(b) Coordination architectures (ToolBus);
(c) Software renovation through generic program analysis and transformation.

We are particularly interested in the further integration of these three
directions to solve industry-sized software engineering problems. In this
Area the AIO will further develop techniques for the generation and
coordination of interactive program analysis tools. The candidate should
have previous experience in compiler writing and/or software engineering.

Further information on Area 3: dr. M. van den Brand (phone: (+31)20-5257593;
markvdb@wins.uva.nl) or prof. dr. P. Klint (phone: (+31)20-5924126;
e-mail: Paul.Klint@cwi.nl)

Requirements
------------

For both positions a completed academic degree (masters/`doctoraal' level)
in computer science or mathematics is a prerequisite.

Tasks
-----

Performing research in the above mentioned areas with as aim writing
scientific publications and completing a dissertation.
Some assistance with the courses that are being given by the Programming
Research Group.

How to apply
------------

Send your resume (including detailed information regarding your academic degree)
accompanied by a cover letter expressing your interest in and qualifications
for one of the three research areas mentioned above to: dr. M. van den Brand
(phone: (+31)20-5257593; fax: (+31)20-5257490; markvdb@wins.uva.nl).

We only accept applications by e-mail.

Deadline for application: April 21 1997.

----------------------------------------------------------------------