Post doctoral position

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 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.