[Prev][Next][Index][Thread]
Positions at Chalmers, Gothenburg, Sweden
Phil, could you forward this to types?
Thanks,
Bengt
___________________________________________________________________________________
RESEARCH POSITIONS IN PROGRAMMING LOGIC
The Dept of Computer Science in Gothenburg, Sweden is seeking researchers in
programming logic, type theory and related topics. The work is going to be done
within the ESPRIT Basic Research Actions TYPES (Types for proofs and programs)
which is involved in the following topics:
.implementation of Alf, an interactive proof system based on a logical framework,
.experiments with Alf, in particular derivation of programs and proofs,
.metamathematical studies of type theories,
.extraction of programs from constructive as well as classical proofs.
We can offer full-time visiting positions starting from January and lasting 6-12
months - exact dates are negotiable. There are two kinds of postions, a post-doc
for a person who took her Ph.D. during the last five years and a position as a
guest researcher for a more experienced person.
The programming logic group is one of three research groups in the department (the
other groups are working on Functional Languages and Concurrency). This group is
involved in the ESPRIT projects TYPES and CLICS and the ESPRIT working group
GENTZEN. We are around 15 persons, the senior people are Bror Bjerner, Thierry
Coquand, Peter Dybjer, Lars Hallnaes, Bengt Nordstrom, Kent Petersson and Jan
Smith.
Interested persons can send me their CV and list of publications.
Bengt Nordstrom
Computer Science
Chalmers University
S-412 96 Gothenburg
Sweden
phone: +46 31 772 10 33
email: bengt@cs.chalmers.se