postdoc positions at Chalmers

5 POSTDOC POSITIONS in the Department of Computing Science, 
Chalmers University of Technology, Goteborg, Sweden.

The Functional Programming and Formal Methods groups at Chalmers have
secured funding on various research projects for 5 post-doctoral

A post doc position is a tax-free research stipendium of approx. $20000
- $24000 per year for a maximum of two years. It is available to people
coming from abroad, and who have obtained a PhD within the last 5 years.

The positions are connected to the following projects:

* Formal Methods 

Chalmers has decided to support research in formal methods for hardware
design and verification, in a project led by Mary Sheeran.  We are
looking for two postdocs to work in this area. At the moment, we work on
using a functional programming language in hardware design, and on ways
to combine this with various theorem provers. Anyone with an interest in
hardware verification is welcome to apply.

The newly formed Formal Methods group works on practical applications of
formal methods in system design. Further information can be found at

* Security and Mobile Systems

The Inflow project: "A semantics-based approach to secure information
flow", led by David Sands, seeks to apply semantics-based methods
(abstract interpretation, type systems) to the analysis of security
properties (e.g. information flow or trust) of software. In this context
we are also interested in exploring the possibilities of declarative
programming languages as the basis for robust mobile computation.

* Program Transformation

The OptiCal project: "Optimisation and Calculation of functional
programs", led by David Sands and Thomas Johnsson is seeking a
postdoctoral researcher. In this project we want both to develop further
the theory behind program transformation methodologies, and to carry out
example-driven research to develop tools for program
construction. Examples of our on going work in this area range from the
theory of optimising program transformation (particularly for
call-by-need) to the integration of program transformation techniques
into highly optimising compilers.  Anyone with interests in theory or
practice of program transformation is welcome to apply.

The project "Type-based specialisation", led by Professor John Hughes is
seeking a postdoctoral researcher. Type-based specialisation is a new
paradigm for partial evaluation, based on type inference rather than on
evaluation. A prototype partial evaluator for the simply typed
lambda-calculus, based on this idea, solves some long-standing open
problems in the area.  It can produce significantly better (= more
efficient) generated programs than any of its predecessors. It permits
partial evaluation features to be combined in new and interesting
ways. The goal of this project is to develop and explore the
possibilities of this new paradigm.


To apply (or for further details) please send email to
John Hughes <rjmh@cs.chalmers.se> http://www.cs.chalmers.se/~rjmh
David Sands <dave@cs.chalmers.se> http://www.cs.chalmers.se/~dave
Mary Sheeran <ms@cs.chalmers.se>  http://www.cs.chalmers.se/~ms

Your email application should include a CV (ascii or postscript) and
pointers to any on-line articles that you wish us to consider. Please
can you also include names and email addresses of potential referees.

The deadline for applications is 1 June 1998.  Later applications may be
considered if positions remain unfilled.  We hope to fill these
positions as soon as possible, at latest by the end of this year.