10 May: fyi -- research, Amsterdam
Index of May 2002 | Index of year: 2002 | Full index
JUNIOR RESEARCHER position at the University of Amsterdam
In the Programming Research Group of the University of Amsterdam
(Faculty of Science/ Department of Computer Science) a position is
available for a
JUNIOR RESEARCHER ('Assistent in Opleiding -- AIO')
in one of the following three research areas:
Area 1: Process Algebra
-----------------------
Current research topics in this area are:
(a) Process algebra with conditions over many valued logics: applications
of conditional composition in the specification and verification of
distributed systems, such as schedulers;
(b) Process algebra with recursive operations, such as Kleene star
and nesting: axiomatizations, and applications in the field of
specification and verification of distributed systems;
(c) Process algebra with orthogonal bisimulation equivalence: this
equivalence is associated with a notion of compression (rather than
abstraction), and is fully compatible with the use of priorities in
process algebra. Applications in specification and verification of
distributed systems, in particular those that employ priorities.
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@science.uva.nl)
Area 2: Algebraic specification and module algebra
------------------------------
Algebraic specification reduces programs and computer systems to their
essentials: data, possibly structured in some way or other, and operations
on data. Current research centers on 3 themes:
(a) Algebraic specification of partial operations: initial semantics,
induction, formulation of type systems, notions of implementation,
description of algorithms, term rewriting issues;
(b) Module algebra: how the meanings of large specifications depend on the
meanings of their parts, what is a proper division into parts, logical
properties of module calculi;
(c) Interplay of data and processes: choice cylindrification,
discriminators, combination of processes with common data modules.
This area is definitely theoretical in nature. Candidates should have some
training in pure mathematics, and be interested in the application of
mathematics (mathematical logic, universal algebra, category theory) to
theoretical and philosophical problems in Computer Science.
Further information on Area 2: dr. P. Rodenburg (phone: (+31)20-5927589;
e-mail: pietr@science.nl)
Area 3: Program Algebra
----------------------------------
Program algebra provides a notation that describes in a theoretical style
the most simple and basic concepts of programming languages. It offers a
means to study notions of structure and behaviour on various levels of
expressivity. Current research is based on three main lines:
(a) Hierarchy of program algebras: further refinement of the hierarchical
structure of program algebras and investigation of the relative positions
of different layers;
(b) Molecular dynamics as a model for computer programs: further extension of
this model with features such as classes, multithreading, etc.;
(c) Integration of (a) and (b) on behalf of a semantics for object-oriented
and script languages.
In this area the AIO will contribute to the work on theoretical issues
mentioned under (a), (b), and (c), and possibly also to the further
development and application of current tools such as the animation of
molecular dynamics and the projection tools for program algebras.
Further information on Area 3: dr. I. Bethke (phone: (+31)20-5257583;
e-mail: inge@science.uva.nl)
Index of May 2002 | Index of year: 2002 | Full index