post-doc position at Chalmers

We would appreciate if you could forward this announcement to
interested people.


The Dept of Computer Science in Gothenburg, Sweden
( http://www.cs.chalmers.se/Cs/ ) is seeking a postdoc researcher in
programming logic, type theory, automatic theorem proving and related topics.

We expect the researcher to work in our project for implementing type theory,
( http://www.cs.chalmers.se/Cs/Research/Logic/ ) in 
particular in the borderline between type theory and automatic theorem proving.

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.

We can offer a full-time visiting position starting from January and lasting 12-24
months - exact dates are negotiable.

To apply (or for further details) please send email to one of
Thierry Coquand <coquand@cs.chalmers.se>
Peter Dybjer <peterd@cs.chalmers.se>
Bengt Nordstrom <bengt@cs.chalmers.se>
Jan Smith <smith@cs.chalmers.se>

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 20 June 2000.