Post doctoral position

Fakultet / Matematikerjobb / Göteborg
Observera att sista ansökningsdag har passerat.

Visa alla matematikerjobb i Göteborg, Mölndal, Partille, Kungälv, Lerum eller i hela Sverige
Visa alla jobb hos Fakultet i Göteborg

Job description
We are looking for a postdoc with a strong interest in functional
programming type theory and formal representation of proofs
in type theory.This position is within a Strep Open, 7th
framework, which involves, as other sites,INRIA, INRIA-microsoft, Nijmegen and La Roja. One main part of this work will be to explore the feasibility of representing simple mathematical algorithms (in linear algebra and algebraic topology) using the ssreflect extension of type theory developed in the mathematical components project, see
http://www.msr-inria.inria.fr/Projects/math-components
Application details
Further information of the post doctoral position can be obtained from Professor
Thierry Coquand, email: coquand@chalmers.se
The start of this position work will be during spring 2011, or after agreement.
Extent of employment
The position is two years, full time.
Requirements
PhD obtained within three years from last application date. A proven track record is required with publications within peer reviewed international journals and very good technical skills. The applicant should have extensive experience in dependent type theory, and formalization of proofs in computer systems.
A complete application for this position shall include:
1. CV
2. Publications.
The application should be marked with ref no E 36 331/10.
Application together with all additional documents must arrive no later than
October 6, 2010 and should be addressed to the University of Gothenburg, Registrator,
Box 100, SE-405 30 Göteborg, Sweden.
Trade Union Representatives
OFR-S Astrid Igerud, +46-31-786 11 67, SACO Martin Selander +46-31-786 14 94,
SEKO Lennart Olsson +46-31-786 11 73
http://ledig-anstallning.adm.gu.se/detail.php?lt_id=6465

Publiceringsdatum
2010-09-22

Arbetstider och omfattning
Visstidsanställning 6 månader eller längre
Heltid

Ersättning
Fast lön

Så ansöker du
Sista dag att ansöka är 2010-10-06
Ansökan sker via företagets webbplats.
Ange följande referens när du ansöker: E 36 331/10
Ansökan kan tyvärr inte göras via e-post.

Företag
FAKULTET

Adress
FAKULTET
41296 GÖTEBORG

Kontorsadress
FORSKNINGSGÅNGEN 6
GÖTEBORG

Kontaktuppgifter
Telefonnummer: 031-7724895

Jobbnummer
738134

Observera att sista ansökningsdag har passerat.

Post doctoral position

Prenumerera på jobb från Fakultet