****************************************************************
* Post-doctoral position at DIKU, the University of Copenhagen *
****************************************************************
There will be a postdoctoral position available in the programming
language group (TOPPS) of the Department of Computer Science at
the University of Copenhagen (DIKU), Denmark.
Start date: September 1, 1992.
Duration: 12 months (extendible dependent on
continued availability of funding)
Research area: semantics-based program manipulation
Typical, but not exclusive topics of interest, are:
- partial evaluation,
- abstract interpretation,
- type theory,
- algorithmic aspects of program analysis,
- operational and denotational semantics,
- logic in programming languages,
- compiler generation.
Responsibilities: Joining the group's research activities;
(possibly) teaching a 2-hour-per-week course
or seminar on a subject of choice
(for one semester);
(possibly) supervising Master's or Ph.D. research
in an area near your own.
Salary: about DKK 200-250,000 (US$ 30-40,000) for 12 months
depending on seniority and background
(approximately the same level as an assistant
professor's salary at DIKU)
[Note: Denmark has tax treaties exempting teachers and
researchers from certain countries from Danish
income tax.]
If you are interested, please send a curriculum vitae and a description of
your research interests to our group secretary, Lisa Wiese, either by
postal mail or by e-mail. Her address is
Lisa Wiese
DIKU, Dept. of Computer Science
University of Copenhagen
Universitetsparken 1
DK-2100 Copenhagen East
Denmark
Email: [EMAIL PROTECTED]
Please note that there are currently several researchers from outside
Denmark working within the group and that the working language is
English. Any questions about DIKU, its facilities and location, may
be addressed to Lisa Wiese. A brief description of the programming
language group's current research activities is presented below. A
longer version may be obtained upon request from Lisa Wiese.
Sincerely,
Neil D. Jones
----------------------------------------------------------------------
The Theory and Practice of Programming Languages Group
at the University of Copenhagen
TOPPS is an acronym for ``Teori og Praksis om ProgrammeringsSprog'',
which translates to ``Theory and Practice of Programming Languages''.
It is used as the name of a loosely knit research group at DIKU, the
Department of Computer Science at the University of Copenhagen,
Denmark.
The group consists of five members of DIKU's scientific staff, several
externally funded researchers and programmers in addition to a
fluctuating number of Ph.D. and Master's students. Presently there are
3 externally funded full-time researchers, two part-time programmers
and 3 PhD students. It has been a tradition to involve Master's
students in the group's research, often resulting in conference or
journal papers based on their Master's theses. Normally between 5 and
10 students are at any one time involved in writing Master's theses in
the subject areas of the TOPPS group. External funding comes from a
Danish Research Foundation program called DART, which is a cooperation
between DIKU's TOPPS group and related groups at Aarhus and Aalborg
Universities, and from Semantique II, an ESPRIT working group which
also includes Imperial College in London, Glasgow University, Ecole
Normale Superieure in Paris and Aarhus University. Semantique II is a
follow up to ESPRIT BRA project no. 3124, Semantique. A brief
overview of the invidual members of the TOPPS group and their research
interests follows.
STAFF
Nils Andersen: Functional programming, program transformation,
specification and proof of programs.
Anders Bondorf: Partial evaluation, compiler generation, Similix.
Carsten Gomard: Analysis and optimization of programs, partial evaluation.
Klaus Grue: Functional programming, logic, foundations of mathematics,
map theory, parallelism, graph reduction.
John Hannan: Semantics of programming languages, type theory,
operational semantics, functional programming, higher-order
logic programming, abstract machines.
Fritz Henglein: Type inference, program analysis, transformational
programming, algorithms and algorithmic complexity.
Neil D. Jones: partial evaluation, compiler generation, abstract
interpretation, program transformation, algorithms and
complexity.
Torben Mogensen: Automatic program transformation, automatic program
analysis, implementation of functional and logical languages,
lambda calculus and combinators, "interesting" algorithms and
programs.
Mads Rosendahl: Program analysis, abstract interpretation, compilers,
attribute grammars.
Mads Tofte: Standard ML, program modules, operational semantics,
polymorphic type inference, implementation of programming
languages.
PHD STUDENTS
Lars Ole Andersen: Partial evaluation of imperative and functional
languages, automatic program analysis and transformation.
Jesper Jorgensen: Partial evaluation, functional programming,
analysis of functional programs, compiler generation by
partial evaluation.
Kristoffer Rose: Operational semantics, graph reduction,
implementation of functional programming languages.
Martin F. Larsen: Parallel graph reduction.
MSC STUDENTS (some of them):
Lars Birkedal: Partial evaluation of ML.
Lars K. Lassen: Parallel graph reduction.
Morten Marquard: Functional programming, analysis of programs, program
transformation, partial evaluation, object-oriented programming.
Christian Mossin: Analysis and optimization of programs, partial
evaluation, compiler generation.
Bjarne Steensgaard: Functional programming, analysis of programs,
program transformation, object-oriented programming and
parallel/distributed programming.
