post-doc position at Chalmers
We would appreciate if you could forward this announcement to
POSTDOC POSITION IN PROGRAMMING LOGIC
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 <firstname.lastname@example.org>
Peter Dybjer <email@example.com>
Bengt Nordstrom <firstname.lastname@example.org>
Jan Smith <email@example.com>
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.